| commit | 081a33c3bdf503c9731ff0f1f1c4031d2afa979b | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 16 19:27:07 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 16 19:27:07 2011 +0000 |
| tree | 9f2cd492fb0ae7f835ea06d0aa7417ce3ee0e979 | |
| parent | 80c610d67e4a7c670ed18d16b17e761431ae9b51 [diff] |
Leverage new annotation @Instantiation from bug 338582 for a >20% speedup.