Tue, 22 Oct 2019 20:59:57 +0200 |
wenzelm |
no printing of axioms -- too bulky;
|
file |
diff |
annotate
|
Sun, 18 Dec 2016 13:07:13 +0100 |
wenzelm |
tuned messages -- more symbols;
|
file |
diff |
annotate
|
Wed, 06 Apr 2016 16:33:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 16 Jan 2016 15:03:55 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Fri, 25 Sep 2015 20:37:59 +0200 |
wenzelm |
moved remaining display.ML to more_thm.ML;
|
file |
diff |
annotate
|
Fri, 25 Sep 2015 20:04:25 +0200 |
wenzelm |
less redundant output;
|
file |
diff |
annotate
|
Fri, 25 Sep 2015 19:54:51 +0200 |
wenzelm |
proper context;
|
file |
diff |
annotate
|
Thu, 24 Sep 2015 23:33:29 +0200 |
wenzelm |
more explicit Defs.context: use proper name spaces as far as possible;
|
file |
diff |
annotate
|
Wed, 23 Sep 2015 09:36:18 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Wed, 23 Sep 2015 09:30:12 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Tue, 22 Sep 2015 22:42:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 22 Sep 2015 20:21:53 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Tue, 22 Sep 2015 18:56:25 +0200 |
wenzelm |
separate command 'print_definitions';
|
file |
diff |
annotate
|
Sat, 15 Aug 2015 19:42:35 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
Thu, 13 Aug 2015 11:05:19 +0200 |
wenzelm |
tuned signature, in accordance to sortBy in Scala;
|
file |
diff |
annotate
|
Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
file |
diff |
annotate
|
Tue, 22 Jul 2014 14:03:00 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Fri, 09 May 2014 22:04:50 +0200 |
wenzelm |
more position markup to help locating the query context, e.g. from "Info" dockable;
|
file |
diff |
annotate
|
Wed, 07 May 2014 13:55:16 +0200 |
wenzelm |
print results as "state", to avoid intrusion into the source text;
|
file |
diff |
annotate
|
Wed, 07 May 2014 11:50:30 +0200 |
wenzelm |
more emphatic output for Proof General;
|
file |
diff |
annotate
|
Mon, 05 May 2014 17:14:46 +0200 |
wenzelm |
clarified print operations for "terms" and "theorems";
|
file |
diff |
annotate
|
Sat, 15 Mar 2014 11:22:25 +0100 |
wenzelm |
more explicit treatment of verbose mode, which includes concealed entries;
|
file |
diff |
annotate
|
Wed, 26 Feb 2014 10:53:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 13 May 2013 12:40:17 +0200 |
wenzelm |
retain goal display options when printing error messages, to avoid breakdown for huge goals;
|
file |
diff |
annotate
|
Wed, 03 Apr 2013 13:58:00 +0200 |
wenzelm |
tuned output -- less bullets;
|
file |
diff |
annotate
|
Sat, 30 Mar 2013 13:40:19 +0100 |
wenzelm |
more item markup;
|
file |
diff |
annotate
|
Mon, 19 Nov 2012 20:23:47 +0100 |
wenzelm |
theorem status about oracles/futures is no longer printed by default;
|
file |
diff |
annotate
|
Tue, 16 Oct 2012 20:35:24 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Tue, 16 Oct 2012 20:23:00 +0200 |
wenzelm |
more proof method text position information;
|
file |
diff |
annotate
|
Tue, 16 Oct 2012 15:14:12 +0200 |
wenzelm |
more informative errors for 'proof' and 'apply' steps;
|
file |
diff |
annotate
|