| Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned docs | file | diff | annotate |
| Wed, 04 Nov 2015 15:07:23 +0100 | blanchet | eliminated Nitpick's pedantic support for 'emdash' | file | diff | annotate |
| Fri, 02 Oct 2015 21:29:09 +0200 | blanchet | updated docs | file | diff | annotate |
| Fri, 29 May 2015 17:56:43 +0200 | blanchet | removed model checks from Nitpick | file | diff | annotate |
| Fri, 29 May 2015 17:17:50 +0200 | blanchet | document Nitpick issue | file | diff | annotate |
| Mon, 25 May 2015 22:11:43 +0200 | wenzelm | merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML; | file | diff | annotate |
| Wed, 22 Apr 2015 23:26:14 +0200 | blanchet | avoid binding warning in Nitpick | file | diff | annotate |
| Sat, 23 May 2015 22:13:24 +0200 | wenzelm | prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive; | file | diff | annotate |
| Tue, 28 Apr 2015 22:56:50 +0200 | blanchet | added known bug | file | diff | annotate |
| Thu, 12 Jun 2014 17:02:03 +0200 | blanchet | updated docs | file | diff | annotate |
| Wed, 21 May 2014 14:09:43 +0200 | blanchet | docs | file | diff | annotate |
| 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 |