| 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
|
| Wed, 08 Apr 2015 19:39:08 +0200 |
wenzelm |
proper context for Object_Logic operations;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2015 19:53:18 +0100 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| Sat, 24 Jan 2015 21:37:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 24 Jan 2015 13:54:19 +0100 |
wenzelm |
avoid newline in Pretty.str;
|
file |
diff |
annotate
|
| Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Mon, 03 Nov 2014 14:31:15 +0100 |
wenzelm |
eliminated obsolete Proof.goal_message -- print outcome more directly;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 11:36:41 +0100 |
wenzelm |
discontinued obsolete Output.urgent_message;
|
file |
diff |
annotate
|
| Tue, 19 Aug 2014 09:39:11 +0200 |
blanchet |
reduced dependency on 'Datatype' theory and ML module
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 20:33:56 +0100 |
wenzelm |
more qualified names;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 22:33:22 +0100 |
blanchet |
tuned ML names
|
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, 17 Feb 2014 22:54:38 +0100 |
blanchet |
simplified data structure by reducing the incidence of clumsy indices
|
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
|