src/Pure/ProofGeneral/preferences.ML
Tue, 14 May 2013 21:40:25 +0200 wenzelm more elementary pgiptype;
Tue, 14 May 2013 21:02:49 +0200 wenzelm prefer Markup.parse/print operations -- slight change of exception behaviour;
Mon, 13 May 2013 22:12:24 +0200 wenzelm simplified preferences, removed obsolete operations;
Mon, 13 May 2013 22:00:19 +0200 wenzelm tuned signature;
Mon, 13 May 2013 13:23:13 +0200 wenzelm option "goals_limit", with more uniform description;
Sun, 12 May 2013 20:25:45 +0200 wenzelm some system options as context-sensitive config options;
Sun, 12 May 2013 18:20:16 +0200 wenzelm tuned signature;
Sun, 12 May 2013 17:51:34 +0200 wenzelm support for options as preferences;
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;
less more (0) -50 -30 tip