src/Pure/ProofGeneral/preferences.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-19 wenzelm 2009-07-19 parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-04-25 wenzelm 2009-04-25 append prefs at end;
2009-04-25 wenzelm 2009-04-25 misc cleanup of auto_solve and quickcheck: tools are in src/Tools and loaded uniformly in HOL; preferences are configured in their proper place -- despite old misleading comments in the source; use predefined preferences categories; setmp preferences in-place;
2009-02-11 kleing 2009-02-11 Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
2009-01-10 wenzelm 2009-01-10 added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;
2008-10-14 wenzelm 2008-10-14 adding preferences is now permissive;
2008-10-14 wenzelm 2008-10-14 export generic_pref etc.; CRITICAL access to preferences; misc cleanup, more conventional indentation;
2008-09-22 haftmann 2008-09-22 generic quickcheck framework
2008-09-01 nipkow 2008-09-01 extended interface to preferences to allow adding new ones
2007-11-15 aspinall 2007-11-15 Add thm_dep preference to menu, inadvertently missed off
2007-10-29 wenzelm 2007-10-29 qualified Proofterm.proofs;
2007-10-01 wenzelm 2007-10-01 added auto-quickcheck-time-limit;
2007-09-17 wenzelm 2007-09-17 change print_mode: CRITICAL;
2007-08-28 berghofe 2007-08-28 - new auto-quickcheck flag - repaired and inserted proof_pref again
2007-08-18 wenzelm 2007-08-18 ML system provides get_print_depth;
2007-08-09 aspinall 2007-08-09 Typo in comment
2007-07-31 wenzelm 2007-07-31 added max-threads preference;
2007-04-04 wenzelm 2007-04-04 renamed Output.has_mode to print_mode_active;
2007-01-30 aspinall 2007-01-30 Add operations on preference tables (remove, set_default).
2007-01-20 wenzelm 2007-01-20 Output.debug: non-strict; renamed Output.show_debug_msgs to Output.debugging (coincides with Toplevel.debug);
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-05 aspinall 2006-12-05 Support PGIP communication for preferences in Emacs mode.
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.