Thu, 15 Jan 2015 12:54:08 +0100 |
wenzelm |
more informative build_theories_result: cumulative Runtime.exn_message;
|
file |
diff |
annotate
|
Thu, 15 Jan 2015 11:39:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 14 Jan 2015 16:27:19 +0100 |
wenzelm |
clarified build_theories: proper protocol handler;
|
file |
diff |
annotate
|
Wed, 14 Jan 2015 14:28:52 +0100 |
wenzelm |
clarified build_theories;
|
file |
diff |
annotate
|
Tue, 13 Jan 2015 21:46:09 +0100 |
wenzelm |
some support for PIDE batch session;
|
file |
diff |
annotate
|
Mon, 22 Dec 2014 16:44:24 +0100 |
wenzelm |
system option "pretty_margin" is superseded by "thy_output_margin";
|
file |
diff |
annotate
|
Thu, 18 Dec 2014 21:10:39 +0100 |
wenzelm |
suppress irrelevant timing messages (the majority);
|
file |
diff |
annotate
|
Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
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
|
Fri, 31 Oct 2014 18:56:59 +0100 |
wenzelm |
discontinued pointless option: timing is always on (overall theory only);
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 12:30:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 12:03:15 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 11:42:36 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 17 Apr 2014 11:29:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|
Thu, 10 Apr 2014 18:13:44 +0200 |
wenzelm |
removed obsolete doc_dump option (see also 892061142ba6);
|
file |
diff |
annotate
|
Thu, 13 Feb 2014 12:09:51 +0100 |
wenzelm |
explicit indication that redefining outer syntax commands is not supposed to happen -- NB: interactive mode requires global change of syntax;
|
file |
diff |
annotate
|
Mon, 10 Feb 2014 22:39:04 +0100 |
wenzelm |
seal system channels at end of Pure bootstrap -- Isabelle/Scala provides official interfaces;
|
file |
diff |
annotate
|
Wed, 11 Dec 2013 18:02:22 +0100 |
wenzelm |
support for polml-5.5.2;
|
file |
diff |
annotate
|
Sat, 16 Nov 2013 22:17:45 +0100 |
wenzelm |
prefer explicit "document" flag -- eliminated stateful Present.no_document;
|
file |
diff |
annotate
|
Mon, 26 Aug 2013 21:56:08 +0200 |
wenzelm |
added SHA1 library integrity test, which is invoked at compile time and Isabelle_Process run-time;
|
file |
diff |
annotate
|
Fri, 02 Aug 2013 20:47:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 19 Jul 2013 17:58:57 +0200 |
wenzelm |
just one option "skip_proofs", without direct access within the editor (it makes document processing stateful without strong reasons -- monotonic updates already handle goal forks smoothly);
|
file |
diff |
annotate
|
Sun, 30 Jun 2013 12:30:02 +0200 |
wenzelm |
discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
|
file |
diff |
annotate
|
Sun, 30 Jun 2013 11:37:34 +0200 |
wenzelm |
backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration;
|
file |
diff |
annotate
|
Thu, 27 Jun 2013 23:17:26 +0200 |
wenzelm |
manage option "proofs" within theory context -- with minor overhead for primitive inferences;
|
file |
diff |
annotate
|
Tue, 21 May 2013 17:55:28 +0200 |
wenzelm |
proper options;
|
file |
diff |
annotate
|
Fri, 17 May 2013 20:41:45 +0200 |
wenzelm |
proper option quick_and_dirty;
|
file |
diff |
annotate
|
Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
Thu, 16 May 2013 20:50:01 +0200 |
wenzelm |
some system options as context-sensitive config options;
|
file |
diff |
annotate
|