| Fri, 03 Sep 2010 23:54:48 +0200 |
wenzelm |
turned eta_contract into proper configuration option;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 11:21:58 +0200 |
wenzelm |
turned show_consts into proper configuration option;
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 00:48:07 +0200 |
wenzelm |
turned show_question_marks into proper configuration option;
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Sat, 27 Mar 2010 21:34:28 +0100 |
boehmes |
re-introduce reference to control simplifier tracing (needed for ProofGeneral settings menu) (cf. 12bb31230550)
|
file |
diff |
annotate
|
| Fri, 26 Mar 2010 23:46:22 +0100 |
boehmes |
replaced references 'trace_simp' and 'debug_simp' by configuration options stored in the context
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 15:57:51 +0200 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Sun, 19 Jul 2009 19:24:04 +0200 |
wenzelm |
parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 23:42:30 +0200 |
wenzelm |
append prefs at end;
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 21:28:04 +0200 |
wenzelm |
misc cleanup of auto_solve and quickcheck:
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 16:03:10 +1100 |
kleing |
Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 15:45:46 +0200 |
wenzelm |
adding preferences is now permissive;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 15:16:12 +0200 |
wenzelm |
export generic_pref etc.;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 13:56:04 +0200 |
haftmann |
generic quickcheck framework
|
file |
diff |
annotate
|
| Mon, 01 Sep 2008 10:20:14 +0200 |
nipkow |
extended interface to preferences to allow adding new ones
|
file |
diff |
annotate
|
| Thu, 15 Nov 2007 18:31:53 +0100 |
aspinall |
Add thm_dep preference to menu, inadvertently missed off
|
file |
diff |
annotate
|
| Mon, 29 Oct 2007 16:13:41 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2007 21:19:54 +0200 |
wenzelm |
added auto-quickcheck-time-limit;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 16:36:45 +0200 |
wenzelm |
change print_mode: CRITICAL;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2007 18:06:24 +0200 |
berghofe |
- new auto-quickcheck flag
|
file |
diff |
annotate
|
| Sat, 18 Aug 2007 21:27:52 +0200 |
wenzelm |
ML system provides get_print_depth;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2007 11:37:27 +0200 |
aspinall |
Typo in comment
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 21:19:22 +0200 |
wenzelm |
added max-threads preference;
|
file |
diff |
annotate
|
| Wed, 04 Apr 2007 00:11:20 +0200 |
wenzelm |
renamed Output.has_mode to print_mode_active;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2007 13:14:41 +0100 |
aspinall |
Add operations on preference tables (remove, set_default).
|
file |
diff |
annotate
|
| Sat, 20 Jan 2007 14:09:14 +0100 |
wenzelm |
Output.debug: non-strict;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 13:56:43 +0100 |
aspinall |
Support PGIP communication for preferences in Emacs mode.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|