2013-07-20 wenzelm 2013-07-20 option editor_execution_priority;
2013-07-20 wenzelm 2013-07-20 obscure options;
2013-07-19 wenzelm 2013-07-19 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);
2013-07-18 wenzelm 2013-07-18 proper system options for 'find_theorems';
2013-06-30 wenzelm 2013-06-30 tuned;
2013-06-30 wenzelm 2013-06-30 discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; discontinued unused proofterms for FOL;
2013-05-18 wenzelm 2013-05-18 explicit notion of public options, which are shown in the editor options dialog; avoid hard-wired stuff;
2013-05-16 wenzelm 2013-05-16 more system options as context-sensitive config options;
2013-05-16 wenzelm 2013-05-16 Thy_Output.modes as proper option;
2013-05-13 wenzelm 2013-05-13 limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-05-13 wenzelm 2013-05-13 option "goals_limit", with more uniform description;
2013-03-27 wenzelm 2013-03-27 discontinued obsolete parallel_proofs_reuse_timing;
2013-03-27 wenzelm 2013-03-27 separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
2013-03-27 wenzelm 2013-03-27 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);
2013-03-13 wenzelm 2013-03-13 clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate); clarified unknown timing vs. zero timing; tuned;
2013-02-20 wenzelm 2013-02-20 option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;
2013-01-22 wenzelm 2013-01-22 more generous tracing limit, which is relevant for applications where this occurs routinely (e.g. HO unification trace);
2013-01-03 wenzelm 2013-01-03 always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
2013-01-03 wenzelm 2013-01-03 improved Monitor_Dockable, based on ML_Statistics operations; tuned signature;
2012-12-13 wenzelm 2012-12-13 smarter handling of tracing messages: prover process pauses and enters user dialog;
2012-12-10 wenzelm 2012-12-10 more generous tracing limit -- rescaled in MB;
2012-11-28 wenzelm 2012-11-28 some support for ML runtime statistics;
2012-11-18 wenzelm 2012-11-18 isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release); always generate sty files, as before c5d0f19ef7cb;
2012-11-18 wenzelm 2012-11-18 more generous tracing_limit, with explicit system option;
2012-09-22 wenzelm 2012-09-22 Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
2012-09-11 wenzelm 2012-09-11 more precise sections;
2012-09-11 wenzelm 2012-09-11 tuned;
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm 2012-08-14 clarified format of etc/options: only declarations, not re-definitions;
2012-08-03 wenzelm 2012-08-03 timeout for session build job; tuned error messages;
2012-08-01 wenzelm 2012-08-01 explicit option skip_proofs;
2012-07-28 wenzelm 2012-07-28 some description of main build options;
2012-07-26 wenzelm 2012-07-26 more build options;
2012-07-26 wenzelm 2012-07-26 more build options;
2012-07-26 wenzelm 2012-07-26 refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26 wenzelm 2012-07-26 discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 added "document_dump_only" (cf. negated usedir -C);
2012-07-24 wenzelm 2012-07-24 further imitation of ISABELLE_USEDIR_OPTIONS via options;
2012-07-24 wenzelm 2012-07-24 added "browser_info_remote" (cf. usedir -P);
2012-07-24 wenzelm 2012-07-24 tuned options;
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-20 wenzelm 2012-07-20 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 some basic Isabelle options;