etc/options
Tue, 09 Jan 2018 20:15:36 +0100 wenzelm more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
Sun, 24 Dec 2017 12:48:43 +0100 wenzelm more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
Wed, 13 Dec 2017 16:18:40 +0100 wenzelm positions as postlude: avoid intrusion of odd %-forms into main tex source;
Tue, 12 Dec 2017 17:46:22 +0100 wenzelm option document_positions;
Tue, 05 Dec 2017 15:29:37 +0100 wenzelm system option for default command tags;
Tue, 05 Dec 2017 15:19:32 +0100 wenzelm tuned;
Sat, 07 Oct 2017 20:31:01 +0200 wenzelm theory qualifier is always session name (see also 31e8a86971a8);
Tue, 08 Aug 2017 22:13:05 +0200 wenzelm maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
Wed, 21 Jun 2017 22:57:29 +0200 wenzelm tuned granularity of parallel tasks;
Wed, 21 Jun 2017 21:55:07 +0200 wenzelm clarified modules;
Mon, 08 May 2017 21:58:15 +0200 wenzelm simplified default;
Thu, 27 Apr 2017 16:54:45 +0200 wenzelm support for database connection;
Mon, 10 Apr 2017 13:30:55 +0200 wenzelm explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports;
Sun, 09 Apr 2017 20:17:00 +0200 wenzelm added system option record_proofs, which allows to build HOL-Proofs without special Proofs.thy;
Wed, 15 Mar 2017 15:50:28 +0100 wenzelm dynamic session_options for tuning parameters and initial prover options;
Tue, 07 Mar 2017 15:35:54 +0100 wenzelm clarified modules;
Mon, 27 Feb 2017 00:00:28 +0100 wenzelm clarified defaults;
Thu, 24 Nov 2016 15:21:54 +0100 wenzelm explicit option editor_generated_input_delay, which is more aggressive by default;
Thu, 20 Oct 2016 23:05:13 +0200 wenzelm prevent sporadic disconnection;
Wed, 19 Oct 2016 14:42:28 +0200 wenzelm added system option "profiling";
Mon, 10 Oct 2016 11:48:24 +0200 wenzelm clarified treatment of options;
Sat, 01 Oct 2016 23:05:25 +0200 wenzelm options for process policy, notably for multiprocessor machines;
Thu, 08 Sep 2016 18:18:57 +0200 wenzelm option "checkpoint" helps to fine-tune global heap space management;
Wed, 06 Apr 2016 11:57:21 +0200 wenzelm simplified bootstrap: critical structures remain accessible in ML_Root context;
Tue, 05 Apr 2016 19:41:58 +0200 wenzelm clarified bootstrap environment;
Mon, 04 Apr 2016 20:07:08 +0200 wenzelm option ML_system_unsafe;
Fri, 01 Apr 2016 17:13:40 +0200 wenzelm lower threshold -- command timing for proofs is cumulative, e.g. HOL 672 ~> 8889;
Fri, 01 Apr 2016 17:00:18 +0200 wenzelm less bulky timing information, e.g. HOL 56913 ~> 672;
Fri, 01 Apr 2016 16:20:04 +0200 wenzelm tuned whitespace;
Sat, 26 Mar 2016 12:22:15 +0100 wenzelm avoid hardwired values;
Wed, 02 Mar 2016 19:43:31 +0100 wenzelm support for ML_exception_debugger;
Thu, 25 Feb 2016 16:16:29 +0100 wenzelm proper option process_output_tail, more generous default;
Sun, 10 Jan 2016 23:25:11 +0100 wenzelm prune old versions more often, to reduce overall heap requirements;
Sat, 19 Dec 2015 23:25:23 +0100 wenzelm prune old document versions more frequently, for reduced heap usage;
Mon, 09 Nov 2015 13:49:56 +0100 wenzelm prefer explicit State panel;
Sun, 08 Nov 2015 14:41:07 +0100 wenzelm added option timeout_scale;
Sat, 07 Nov 2015 16:05:28 +0100 wenzelm clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
Mon, 02 Nov 2015 10:20:27 +0100 wenzelm clarified completion of Isabelle symbols within document source;
Mon, 21 Sep 2015 16:41:20 +0200 wenzelm option editor_output_state;
Fri, 11 Sep 2015 17:57:34 +0200 wenzelm convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
Tue, 11 Aug 2015 14:13:36 +0200 wenzelm init/exit depending on active debugger panels;
Mon, 10 Aug 2015 21:11:15 +0200 wenzelm eliminated global option: breakpoints control this individually;
Wed, 05 Aug 2015 16:22:56 +0200 wenzelm more controls;
Wed, 05 Aug 2015 16:13:42 +0200 wenzelm tuned signature;
Tue, 21 Jul 2015 19:04:36 +0200 wenzelm support for ML debugger;
Thu, 16 Jul 2015 11:38:18 +0200 wenzelm added option ML_debugger;
Wed, 15 Apr 2015 13:55:01 +0200 wenzelm GUI controls for ML_statistics, for more digestible protocol dump;
Thu, 29 Jan 2015 15:21:16 +0100 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;
Sun, 25 Jan 2015 22:11:06 +0100 wenzelm discontinued obsolete option "document_graph";
Mon, 22 Dec 2014 16:44:24 +0100 wenzelm system option "pretty_margin" is superseded by "thy_output_margin";
Fri, 31 Oct 2014 18:56:59 +0100 wenzelm discontinued pointless option: timing is always on (overall theory only);
Wed, 13 Aug 2014 20:21:04 +0200 wenzelm added option editor_syslog_limit;
Tue, 05 Aug 2014 20:40:35 +0200 wenzelm added system option editor_output_delay: lower value might help big sessions under low-memory situations;
Tue, 06 May 2014 16:05:14 +0200 wenzelm explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts";
Fri, 25 Apr 2014 23:47:39 +0200 wenzelm suppress potential dangerous option (see 1baa5d19ac44);
Thu, 17 Apr 2014 11:31:46 +0200 wenzelm tuned option name;
Tue, 25 Mar 2014 16:54:38 +0100 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);
Mon, 24 Mar 2014 12:00:17 +0100 wenzelm discontinued Toplevel.debug in favour of system option "exception_trace";
Sat, 22 Feb 2014 20:52:43 +0100 wenzelm support for completion within the formal context;
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);
less more (0) -100 -60 tip