| Tue, 14 May 2013 21:40:25 +0200 |
wenzelm |
more elementary pgiptype;
|
file |
diff |
annotate
|
| Tue, 14 May 2013 21:02:49 +0200 |
wenzelm |
prefer Markup.parse/print operations -- slight change of exception behaviour;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 22:12:24 +0200 |
wenzelm |
simplified preferences, removed obsolete operations;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 22:00:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 13:23:13 +0200 |
wenzelm |
option "goals_limit", with more uniform description;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 20:25:45 +0200 |
wenzelm |
some system options as context-sensitive config options;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 18:20:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 17:51:34 +0200 |
wenzelm |
support for options as preferences;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 15:46:45 +0200 |
wenzelm |
explicit option skip_proofs;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 22:27:32 +0200 |
wenzelm |
more conventional naming scheme: names_long, names_short, names_unique;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 15:48:14 +0200 |
wenzelm |
discontinued special status of structure Printer;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 13:31:16 +0200 |
wenzelm |
explicit structure Syntax_Trans;
|
file |
diff |
annotate
|
| Sun, 20 Mar 2011 21:28:11 +0100 |
wenzelm |
structure Timing: covers former start_timing/end_timing and Output.timeit etc;
|
file |
diff |
annotate
|