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);
|
file |
diff |
annotate
|
Wed, 21 Jun 2017 22:57:29 +0200 |
wenzelm |
tuned granularity of parallel tasks;
|
file |
diff |
annotate
|
Wed, 21 Jun 2017 21:55:07 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 08 May 2017 21:58:15 +0200 |
wenzelm |
simplified default;
|
file |
diff |
annotate
|
Thu, 27 Apr 2017 16:54:45 +0200 |
wenzelm |
support for database connection;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Sun, 09 Apr 2017 20:17:00 +0200 |
wenzelm |
added system option record_proofs, which allows to build HOL-Proofs without special Proofs.thy;
|
file |
diff |
annotate
|
Wed, 15 Mar 2017 15:50:28 +0100 |
wenzelm |
dynamic session_options for tuning parameters and initial prover options;
|
file |
diff |
annotate
|
Tue, 07 Mar 2017 15:35:54 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 27 Feb 2017 00:00:28 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
Thu, 24 Nov 2016 15:21:54 +0100 |
wenzelm |
explicit option editor_generated_input_delay, which is more aggressive by default;
|
file |
diff |
annotate
|
Thu, 20 Oct 2016 23:05:13 +0200 |
wenzelm |
prevent sporadic disconnection;
|
file |
diff |
annotate
|
Wed, 19 Oct 2016 14:42:28 +0200 |
wenzelm |
added system option "profiling";
|
file |
diff |
annotate
|
Mon, 10 Oct 2016 11:48:24 +0200 |
wenzelm |
clarified treatment of options;
|
file |
diff |
annotate
|
Sat, 01 Oct 2016 23:05:25 +0200 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
Thu, 08 Sep 2016 18:18:57 +0200 |
wenzelm |
option "checkpoint" helps to fine-tune global heap space management;
|
file |
diff |
annotate
|
Wed, 06 Apr 2016 11:57:21 +0200 |
wenzelm |
simplified bootstrap: critical structures remain accessible in ML_Root context;
|
file |
diff |
annotate
|
Tue, 05 Apr 2016 19:41:58 +0200 |
wenzelm |
clarified bootstrap environment;
|
file |
diff |
annotate
|
Mon, 04 Apr 2016 20:07:08 +0200 |
wenzelm |
option ML_system_unsafe;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 17:13:40 +0200 |
wenzelm |
lower threshold -- command timing for proofs is cumulative, e.g. HOL 672 ~> 8889;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 17:00:18 +0200 |
wenzelm |
less bulky timing information, e.g. HOL 56913 ~> 672;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 16:20:04 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Sat, 26 Mar 2016 12:22:15 +0100 |
wenzelm |
avoid hardwired values;
|
file |
diff |
annotate
|
Wed, 02 Mar 2016 19:43:31 +0100 |
wenzelm |
support for ML_exception_debugger;
|
file |
diff |
annotate
|
Thu, 25 Feb 2016 16:16:29 +0100 |
wenzelm |
proper option process_output_tail, more generous default;
|
file |
diff |
annotate
|
Sun, 10 Jan 2016 23:25:11 +0100 |
wenzelm |
prune old versions more often, to reduce overall heap requirements;
|
file |
diff |
annotate
|
Sat, 19 Dec 2015 23:25:23 +0100 |
wenzelm |
prune old document versions more frequently, for reduced heap usage;
|
file |
diff |
annotate
|
Mon, 09 Nov 2015 13:49:56 +0100 |
wenzelm |
prefer explicit State panel;
|
file |
diff |
annotate
|
Sun, 08 Nov 2015 14:41:07 +0100 |
wenzelm |
added option timeout_scale;
|
file |
diff |
annotate
|
Sat, 07 Nov 2015 16:05:28 +0100 |
wenzelm |
clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
|
file |
diff |
annotate
|