| Tue, 04 Mar 2014 18:57:17 +0100 | blanchet | updated docs | file | diff | annotate |
| Mon, 03 Mar 2014 22:33:22 +0100 | blanchet | updated docs | file | diff | annotate |
| Mon, 03 Mar 2014 22:33:22 +0100 | blanchet | tuned code | file | diff | annotate |
| Mon, 03 Mar 2014 22:33:22 +0100 | blanchet | removed nonstandard models from Nitpick | file | diff | annotate |
| Mon, 03 Feb 2014 17:55:50 +0100 | blanchet | searchable underscores | file | diff | annotate |
| Mon, 20 Jan 2014 19:53:10 +0100 | blanchet | updated docs | file | diff | annotate |
| Thu, 19 Dec 2013 13:43:21 +0100 | blanchet | made timeouts in Sledgehammer not be 'option's -- simplified lots of code | file | diff | annotate |
| Thu, 28 Nov 2013 16:04:10 +0100 | blanchet | updated docs | file | diff | annotate |
| Thu, 17 Oct 2013 20:03:37 +0200 | blanchet | added thread-safety warnings | file | diff | annotate |
| Mon, 14 Oct 2013 11:14:14 +0200 | blanchet | added Nitpick limitations to docs | file | diff | annotate |
| 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 |