src/Pure/ProofGeneral/preferences.ML
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);
Wed, 01 Aug 2012 15:46:45 +0200 wenzelm explicit option skip_proofs;
Tue, 03 May 2011 22:27:32 +0200 wenzelm more conventional naming scheme: names_long, names_short, names_unique;
Sat, 16 Apr 2011 13:48:45 +0200 wenzelm Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
Fri, 08 Apr 2011 15:48:14 +0200 wenzelm discontinued special status of structure Printer;
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans;
Sun, 20 Mar 2011 21:28:11 +0100 wenzelm structure Timing: covers former start_timing/end_timing and Output.timeit etc;
Thu, 03 Feb 2011 19:21:12 +0100 wenzelm clarified Proofterm.proofs_enabled;
Tue, 21 Dec 2010 21:54:51 +0100 wenzelm configuration option "rule_trace";
Fri, 17 Dec 2010 17:08:56 +0100 wenzelm renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
Fri, 17 Dec 2010 16:25:21 +0100 wenzelm tuned signature;
Thu, 16 Dec 2010 09:10:38 +0100 boehmes turned simp_trace_depth_limit into a configuration option
Thu, 02 Dec 2010 16:04:22 +0100 wenzelm renamed trace_simp to simp_trace, and debug_simp to simp_debug;
Sat, 30 Oct 2010 21:08:20 +0200 wenzelm support for real valued preferences;
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Mon, 06 Sep 2010 22:31:54 +0200 wenzelm discontinued obsolete ProofContext.prems_limit;
Sun, 05 Sep 2010 23:26:16 +0200 wenzelm use setmp_noncritical for sequential Pure bootstrap;
Sun, 05 Sep 2010 23:16:21 +0200 wenzelm turned show_brackets into proper configuration option;
Sun, 05 Sep 2010 21:41:24 +0200 wenzelm turned show_sorts/show_types into proper configuration options;
Fri, 03 Sep 2010 23:54:48 +0200 wenzelm turned eta_contract into proper configuration option;
Fri, 03 Sep 2010 21:13:53 +0200 wenzelm pretty_goals: turned some global references and function arguments into configuration options (goals_limit = 10, goals_total = true, show_main_goal = false) depending on the context;
Fri, 03 Sep 2010 11:21:58 +0200 wenzelm turned show_consts into proper configuration option;
Thu, 02 Sep 2010 00:48:07 +0200 wenzelm turned show_question_marks into proper configuration option;
Mon, 29 Mar 2010 09:06:34 +0200 boehmes the configuration option 'trace_simp' now uses the reference of the ProofGeneral settings menu as (dynamic) default value
Sat, 27 Mar 2010 21:34:28 +0100 boehmes re-introduce reference to control simplifier tracing (needed for ProofGeneral settings menu) (cf. 12bb31230550)
Fri, 26 Mar 2010 23:46:22 +0100 boehmes replaced references 'trace_simp' and 'debug_simp' by configuration options stored in the context
Sat, 17 Oct 2009 15:57:51 +0200 wenzelm indicate CRITICAL nature of various setmp combinators;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Sun, 19 Jul 2009 19:24:04 +0200 wenzelm parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
Sat, 25 Apr 2009 23:42:30 +0200 wenzelm append prefs at end;
Sat, 25 Apr 2009 21:28:04 +0200 wenzelm misc cleanup of auto_solve and quickcheck:
Wed, 11 Feb 2009 16:03:10 +1100 kleing Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
Sat, 10 Jan 2009 21:32:30 +0100 wenzelm added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;
Tue, 14 Oct 2008 15:45:46 +0200 wenzelm adding preferences is now permissive;
Tue, 14 Oct 2008 15:16:12 +0200 wenzelm export generic_pref etc.;
Mon, 22 Sep 2008 13:56:04 +0200 haftmann generic quickcheck framework
Mon, 01 Sep 2008 10:20:14 +0200 nipkow extended interface to preferences to allow adding new ones
Thu, 15 Nov 2007 18:31:53 +0100 aspinall Add thm_dep preference to menu, inadvertently missed off
Mon, 29 Oct 2007 16:13:41 +0100 wenzelm qualified Proofterm.proofs;
Mon, 01 Oct 2007 21:19:54 +0200 wenzelm added auto-quickcheck-time-limit;
Mon, 17 Sep 2007 16:36:45 +0200 wenzelm change print_mode: CRITICAL;
Tue, 28 Aug 2007 18:06:24 +0200 berghofe - new auto-quickcheck flag
Sat, 18 Aug 2007 21:27:52 +0200 wenzelm ML system provides get_print_depth;
Thu, 09 Aug 2007 11:37:27 +0200 aspinall Typo in comment
Tue, 31 Jul 2007 21:19:22 +0200 wenzelm added max-threads preference;
Wed, 04 Apr 2007 00:11:20 +0200 wenzelm renamed Output.has_mode to print_mode_active;
Tue, 30 Jan 2007 13:14:41 +0100 aspinall Add operations on preference tables (remove, set_default).
Sat, 20 Jan 2007 14:09:14 +0100 wenzelm Output.debug: non-strict;
Fri, 29 Dec 2006 18:25:46 +0100 wenzelm minor tuning;
Tue, 05 Dec 2006 13:56:43 +0100 aspinall Support PGIP communication for preferences in Emacs mode.
Mon, 04 Dec 2006 20:40:11 +0100 aspinall Revamped Proof General interface.
less more (0) tip