| 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
|