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