| Fri, 28 Oct 2011 12:37:18 +0200 | bulwahn | removing dead code | file | diff | annotate |
| Thu, 09 Jun 2011 16:34:49 +0200 | wenzelm | discontinued Name.variant to emphasize that this is old-style / indirect; | file | diff | annotate |
| Sun, 20 Mar 2011 21:20:07 +0100 | wenzelm | pervasive cond_timeit; | file | diff | annotate |
| Sun, 13 Mar 2011 15:10:00 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 21 Oct 2010 19:13:09 +0200 | bulwahn | splitting large core file into core_data, mode_inference and predicate_compile_proof | file | diff | annotate |