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
|