etc/options
Sun, 25 Aug 2013 16:03:12 +0200 wenzelm discontinued parallel_subproofs_saturation and related internal counters (superseded by parallel_subproofs_threshold and timing information);
Wed, 31 Jul 2013 12:46:53 +0200 wenzelm simplified / clarified execution priority: auto prints << 0, proofs < 0, eval = 0, print_state = 1;
Wed, 31 Jul 2013 10:54:37 +0200 wenzelm simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
Tue, 30 Jul 2013 18:19:16 +0200 wenzelm recovered delay for Document.start_execution (see also 627fb639a2d9), which potentially improves throughput when many consecutive edits arrive;
Mon, 29 Jul 2013 20:46:21 +0200 wenzelm NEWS;
Mon, 29 Jul 2013 16:01:05 +0200 wenzelm afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;
Mon, 29 Jul 2013 12:50:16 +0200 wenzelm support declarative editor_execution_range, instead of old-style check/cancel buttons;
Sat, 27 Jul 2013 22:20:25 +0200 wenzelm discontinued historic document formats;
Sat, 20 Jul 2013 16:27:55 +0200 wenzelm option editor_execution_priority;
Sat, 20 Jul 2013 16:18:17 +0200 wenzelm obscure options;
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);
Thu, 18 Jul 2013 22:18:20 +0200 wenzelm proper system options for 'find_theorems';
Sun, 30 Jun 2013 12:40:55 +0200 wenzelm tuned;
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;
Sat, 18 May 2013 12:41:31 +0200 wenzelm explicit notion of public options, which are shown in the editor options dialog;
Thu, 16 May 2013 21:48:01 +0200 wenzelm more system options as context-sensitive config options;
Thu, 16 May 2013 21:09:58 +0200 wenzelm Thy_Output.modes as proper option;
Mon, 13 May 2013 19:52:16 +0200 wenzelm limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
Mon, 13 May 2013 13:23:13 +0200 wenzelm option "goals_limit", with more uniform description;
Wed, 27 Mar 2013 21:25:33 +0100 wenzelm discontinued obsolete parallel_proofs_reuse_timing;
Wed, 27 Mar 2013 16:46:52 +0100 wenzelm separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
Wed, 27 Mar 2013 16:38:25 +0100 wenzelm more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);
Wed, 13 Mar 2013 21:25:08 +0100 wenzelm clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
Wed, 20 Feb 2013 19:57:17 +0100 wenzelm option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;
Tue, 22 Jan 2013 11:28:54 +0100 wenzelm more generous tracing limit, which is relevant for applications where this occurs routinely (e.g. HO unification trace);
Thu, 03 Jan 2013 14:03:44 +0100 wenzelm always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
Thu, 03 Jan 2013 13:54:45 +0100 wenzelm improved Monitor_Dockable, based on ML_Statistics operations;
Thu, 13 Dec 2012 19:53:55 +0100 wenzelm smarter handling of tracing messages: prover process pauses and enters user dialog;
Mon, 10 Dec 2012 16:06:57 +0100 wenzelm more generous tracing limit -- rescaled in MB;
Wed, 28 Nov 2012 17:18:53 +0100 wenzelm some support for ML runtime statistics;
Sun, 18 Nov 2012 19:01:30 +0100 wenzelm isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
Sun, 18 Nov 2012 16:04:13 +0100 wenzelm more generous tracing_limit, with explicit system option;
Sat, 22 Sep 2012 14:41:41 +0200 wenzelm Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
Tue, 11 Sep 2012 22:59:25 +0200 wenzelm more precise sections;
Tue, 11 Sep 2012 19:43:06 +0200 wenzelm tuned;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Tue, 11 Sep 2012 15:47:42 +0200 wenzelm some support to organize options in sections;
Tue, 14 Aug 2012 15:42:58 +0200 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
Tue, 14 Aug 2012 13:01:09 +0200 wenzelm clarified format of etc/options: only declarations, not re-definitions;
Fri, 03 Aug 2012 14:52:45 +0200 wenzelm timeout for session build job;
Wed, 01 Aug 2012 15:46:45 +0200 wenzelm explicit option skip_proofs;
Sat, 28 Jul 2012 19:37:35 +0200 wenzelm some description of main build options;
Thu, 26 Jul 2012 19:41:05 +0200 wenzelm more build options;
Thu, 26 Jul 2012 17:17:53 +0200 wenzelm more build options;
Thu, 26 Jul 2012 14:29:54 +0200 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
Thu, 26 Jul 2012 13:38:43 +0200 wenzelm discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
Tue, 24 Jul 2012 21:54:49 +0200 wenzelm more build options;
Tue, 24 Jul 2012 21:26:28 +0200 wenzelm more build options;
Tue, 24 Jul 2012 12:20:01 +0200 wenzelm added "document_dump_only" (cf. negated usedir -C);
Tue, 24 Jul 2012 11:39:22 +0200 wenzelm further imitation of ISABELLE_USEDIR_OPTIONS via options;
Tue, 24 Jul 2012 11:02:42 +0200 wenzelm added "browser_info_remote" (cf. usedir -P);
Tue, 24 Jul 2012 10:43:13 +0200 wenzelm tuned options;
Tue, 24 Jul 2012 10:39:03 +0200 wenzelm timing is command line options, not system option;
Tue, 24 Jul 2012 10:11:49 +0200 wenzelm clarified document options;
Tue, 24 Jul 2012 00:29:36 +0200 wenzelm pass build options to ML;
Fri, 20 Jul 2012 18:50:33 +0200 wenzelm require explicit initialization of options;
Fri, 20 Jul 2012 16:47:17 +0200 wenzelm some basic Isabelle options;
less more (0) tip