src/Pure/ProofGeneral/preferences.ML
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.