| Wed, 15 May 2013 22:30:24 +0200 |
wenzelm |
clarified preferences: "override" re-initialized on prover startup, and "default" sent to PG -- thus recover typical defaults like auto-quickcheck in PG 4.x;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 20:22:46 +0200 |
wenzelm |
maintain ProofGeneral preferences within ProofGeneral module;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 17:39:41 +0200 |
wenzelm |
just one ProofGeneral module;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 15:29:25 +0200 |
wenzelm |
discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems';
|
file |
diff |
annotate
|
| Wed, 27 Mar 2013 17:58:07 +0100 |
wenzelm |
more robust access Toplevel.proof_of -- prefer warning via Toplevel.unknown_proof over hard crash (notably for skipped proofs);
|
file |
diff |
annotate
|
| Thu, 28 Feb 2013 12:43:28 +0100 |
wenzelm |
tuned whitespace and indentation;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Fri, 14 Sep 2012 18:12:41 +0200 |
wenzelm |
clarified markup names;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 19:18:11 +0200 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 10:16:51 +0200 |
haftmann |
dropped dead code;
|
file |
diff |
annotate
|
| Fri, 06 Apr 2012 13:10:45 +0200 |
wenzelm |
standardized alias;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 12:22:51 +0200 |
bulwahn |
added option quickcheck_locale to allow different behaviours for handling locales in Quickcheck;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2012 18:20:12 +0100 |
wenzelm |
outer syntax command definitions based on formal command_spec derived from theory header declarations;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 20:07:00 +0100 |
wenzelm |
prefer formally checked @{keyword} parser;
|
file |
diff |
annotate
|
| Sat, 10 Mar 2012 16:39:55 +0100 |
bulwahn |
adding tags to quickcheck's result
|
file |
diff |
annotate
|