| 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);
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 12:46:53 +0200 |
wenzelm |
simplified / clarified execution priority: auto prints << 0, proofs < 0, eval = 0, print_state = 1;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 20:46:21 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 16:01:05 +0200 |
wenzelm |
afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 12:50:16 +0200 |
wenzelm |
support declarative editor_execution_range, instead of old-style check/cancel buttons;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
| Sat, 20 Jul 2013 16:27:55 +0200 |
wenzelm |
option editor_execution_priority;
|
file |
diff |
annotate
|
| Sat, 20 Jul 2013 16:18:17 +0200 |
wenzelm |
obscure options;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Thu, 18 Jul 2013 22:18:20 +0200 |
wenzelm |
proper system options for 'find_theorems';
|
file |
diff |
annotate
|
| Sun, 30 Jun 2013 12:40:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sat, 18 May 2013 12:41:31 +0200 |
wenzelm |
explicit notion of public options, which are shown in the editor options dialog;
|
file |
diff |
annotate
|
| Thu, 16 May 2013 21:48:01 +0200 |
wenzelm |
more system options as context-sensitive config options;
|
file |
diff |
annotate
|
| Thu, 16 May 2013 21:09:58 +0200 |
wenzelm |
Thy_Output.modes as proper option;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Mon, 13 May 2013 13:23:13 +0200 |
wenzelm |
option "goals_limit", with more uniform description;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2013 21:25:33 +0100 |
wenzelm |
discontinued obsolete parallel_proofs_reuse_timing;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Wed, 13 Mar 2013 21:25:08 +0100 |
wenzelm |
clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 14:03:44 +0100 |
wenzelm |
always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 13:54:45 +0100 |
wenzelm |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 19:53:55 +0100 |
wenzelm |
smarter handling of tracing messages: prover process pauses and enters user dialog;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 16:06:57 +0100 |
wenzelm |
more generous tracing limit -- rescaled in MB;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2012 17:18:53 +0100 |
wenzelm |
some support for ML runtime statistics;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 16:04:13 +0100 |
wenzelm |
more generous tracing_limit, with explicit system option;
|
file |
diff |
annotate
|
| 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.;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 22:59:25 +0200 |
wenzelm |
more precise sections;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 19:43:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 19:19:39 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 15:47:42 +0200 |
wenzelm |
some support to organize options in sections;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 15:42:58 +0200 |
wenzelm |
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 13:01:09 +0200 |
wenzelm |
clarified format of etc/options: only declarations, not re-definitions;
|
file |
diff |
annotate
|
| Fri, 03 Aug 2012 14:52:45 +0200 |
wenzelm |
timeout for session build job;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 15:46:45 +0200 |
wenzelm |
explicit option skip_proofs;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 19:37:35 +0200 |
wenzelm |
some description of main build options;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 19:41:05 +0200 |
wenzelm |
more build options;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 17:17:53 +0200 |
wenzelm |
more build options;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 14:29:54 +0200 |
wenzelm |
refined "document_dump_mode": "all", "tex+sty", "tex";
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 21:54:49 +0200 |
wenzelm |
more build options;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 21:26:28 +0200 |
wenzelm |
more build options;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 12:20:01 +0200 |
wenzelm |
added "document_dump_only" (cf. negated usedir -C);
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 11:39:22 +0200 |
wenzelm |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 11:02:42 +0200 |
wenzelm |
added "browser_info_remote" (cf. usedir -P);
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 10:43:13 +0200 |
wenzelm |
tuned options;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 10:39:03 +0200 |
wenzelm |
timing is command line options, not system option;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 10:11:49 +0200 |
wenzelm |
clarified document options;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 00:29:36 +0200 |
wenzelm |
pass build options to ML;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 18:50:33 +0200 |
wenzelm |
require explicit initialization of options;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 16:47:17 +0200 |
wenzelm |
some basic Isabelle options;
|
file |
diff |
annotate
|