etc/options
2015-04-15 wenzelm GUI controls for ML_statistics, for more digestible protocol dump;
2015-01-29 wenzelm explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
2015-01-25 wenzelm discontinued obsolete option "document_graph";
2014-12-22 wenzelm system option "pretty_margin" is superseded by "thy_output_margin";
2014-10-31 wenzelm discontinued pointless option: timing is always on (overall theory only);
2014-08-13 wenzelm added option editor_syslog_limit;
2014-08-05 wenzelm added system option editor_output_delay: lower value might help big sessions under low-memory situations;
2014-05-06 wenzelm explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts";
2014-04-25 wenzelm suppress potential dangerous option (see 1baa5d19ac44);
2014-04-17 wenzelm tuned option name;
2014-03-25 wenzelm clarified options ML_source_trace and ML_exception_trace (NB: the latter needs to be a system option, since the context is sometimes not available, e.g. for 'theory' command);
2014-03-24 wenzelm discontinued Toplevel.debug in favour of system option "exception_trace";
2014-02-22 wenzelm support for completion within the formal context;
2013-08-25 wenzelm discontinued parallel_subproofs_saturation and related internal counters (superseded by parallel_subproofs_threshold and timing information);
2013-07-31 wenzelm simplified / clarified execution priority: auto prints << 0, proofs < 0, eval = 0, print_state = 1;
2013-07-31 wenzelm simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-30 wenzelm recovered delay for Document.start_execution (see also 627fb639a2d9), which potentially improves throughput when many consecutive edits arrive;
2013-07-29 wenzelm NEWS;
2013-07-29 wenzelm afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;
2013-07-29 wenzelm support declarative editor_execution_range, instead of old-style check/cancel buttons;
2013-07-27 wenzelm discontinued historic document formats;
2013-07-20 wenzelm option editor_execution_priority;
2013-07-20 wenzelm obscure options;
2013-07-19 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);
2013-07-18 wenzelm proper system options for 'find_theorems';
2013-06-30 wenzelm tuned;
2013-06-30 wenzelm discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
2013-05-18 wenzelm explicit notion of public options, which are shown in the editor options dialog;
2013-05-16 wenzelm more system options as context-sensitive config options;
2013-05-16 wenzelm Thy_Output.modes as proper option;
2013-05-13 wenzelm limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-05-13 wenzelm option "goals_limit", with more uniform description;
2013-03-27 wenzelm discontinued obsolete parallel_proofs_reuse_timing;
2013-03-27 wenzelm separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
2013-03-27 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);
2013-03-13 wenzelm clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
2013-02-20 wenzelm option parallel_proofs_reuse_timing controls reuse of log information -- since it is not always beneficial for performance;
2013-01-22 wenzelm more generous tracing limit, which is relevant for applications where this occurs routinely (e.g. HO unification trace);
2013-01-03 wenzelm always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
2013-01-03 wenzelm improved Monitor_Dockable, based on ML_Statistics operations;
2012-12-13 wenzelm smarter handling of tracing messages: prover process pauses and enters user dialog;
2012-12-10 wenzelm more generous tracing limit -- rescaled in MB;
2012-11-28 wenzelm some support for ML runtime statistics;
2012-11-18 wenzelm isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
2012-11-18 wenzelm more generous tracing_limit, with explicit system option;
2012-09-22 wenzelm Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
2012-09-11 wenzelm more precise sections;
2012-09-11 wenzelm tuned;
2012-09-11 wenzelm more options;
2012-09-11 wenzelm some support to organize options in sections;
2012-08-14 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm clarified format of etc/options: only declarations, not re-definitions;
2012-08-03 wenzelm timeout for session build job;
2012-08-01 wenzelm explicit option skip_proofs;
2012-07-28 wenzelm some description of main build options;
2012-07-26 wenzelm more build options;
2012-07-26 wenzelm more build options;
2012-07-26 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26 wenzelm discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
2012-07-24 wenzelm more build options;
less more (0) -60 tip