| Tue, 24 Sep 2013 00:21:40 +0200 | blanchet | use forthcoming "primcorec" command | file | diff | annotate |
| Tue, 24 Sep 2013 00:10:46 +0200 | blanchet | tuned docs | file | diff | annotate |
| Tue, 24 Sep 2013 00:01:10 +0200 | blanchet | register codatatypes with Nitpick | file | diff | annotate |
| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | document "spy" | file | diff | annotate |
| Fri, 20 Sep 2013 22:39:30 +0200 | blanchet | moved focus to Isabell/jEdit and away from Proof General | file | diff | annotate |
| Tue, 20 Aug 2013 04:59:25 +0200 | blanchet | removed french option to manuals | file | diff | annotate |
| Wed, 12 Dec 2012 11:56:07 +0100 | blanchet | use modern SAT solvers with modern Kodkod versions | file | diff | annotate |
| Thu, 27 Sep 2012 17:00:54 +0200 | blanchet | lower the defaults for the number of bits, based on an example by Lukas Bulwahn | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |