| Wed, 12 Feb 2014 14:32:45 +0100 | wenzelm | merged, resolving some conflicts; | file | diff | annotate |
| Wed, 12 Feb 2014 13:33:05 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | ported predicate compiler to 'ctr_sugar' | file | diff | annotate |
| Mon, 12 Nov 2012 23:24:40 +0100 | haftmann | dropped dead code | file | diff | annotate |
| 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 |