isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

etc/options

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

less more (0) -50 -30 tip

isabelle

RSS Atom