Fri, 25 Sep 2020 15:40:35 +0200 |
wenzelm |
tuned nitpick message: more like quickcheck;
|
file |
diff |
annotate
|
Tue, 25 Aug 2020 14:54:41 +0200 |
wenzelm |
removed pointless version checks: Isabelle component integration does the job already;
|
file |
diff |
annotate
|
Sat, 22 Aug 2020 23:11:48 +0200 |
wenzelm |
avoid odd PIDE markup, notably in kokodi input;
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
removed trailing final stops in Nitpick messages
|
file |
diff |
annotate
|
Sat, 02 Apr 2016 23:29:05 +0200 |
wenzelm |
prefer infix operations;
|
file |
diff |
annotate
|
Sat, 05 Mar 2016 17:01:45 +0100 |
wenzelm |
tuned signature -- clarified modules;
|
file |
diff |
annotate
|
Mon, 15 Feb 2016 12:47:52 +0100 |
blanchet |
rephrased message
|
file |
diff |
annotate
|
Thu, 08 Oct 2015 23:40:27 +0200 |
blanchet |
made TPTP SZS status more compliant
|
file |
diff |
annotate
|
Fri, 02 Oct 2015 21:24:37 +0200 |
blanchet |
removed Nitpick nonblocking mode, that was never really used
|
file |
diff |
annotate
|
Fri, 02 Oct 2015 21:06:32 +0200 |
blanchet |
better compliance with TPTP SZS standard
|
file |
diff |
annotate
|
Sun, 16 Aug 2015 18:19:30 +0200 |
wenzelm |
prefer theory_id operations;
|
file |
diff |
annotate
|
Fri, 29 May 2015 17:56:43 +0200 |
blanchet |
removed model checks from Nitpick
|
file |
diff |
annotate
|
Sat, 11 Apr 2015 23:30:30 +0200 |
wenzelm |
proper Pretty.brk -- redundant spaces do not survive Pretty.text (see also 42b7b76b37b8, e06eabc421e7);
|
file |
diff |
annotate
|