| Tue, 13 Dec 2016 11:51:42 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2015 20:37:59 +0200 |
wenzelm |
moved remaining display.ML to more_thm.ML;
|
file |
diff |
annotate
|
| Fri, 28 Aug 2015 11:53:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2015 11:05:19 +0200 |
wenzelm |
tuned signature, in accordance to sortBy in Scala;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2014 12:33:02 +0200 |
wenzelm |
prefer regular Goal_Display.pretty_goals, without censorship of options;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:36:28 +0200 |
wenzelm |
more source positions;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2013 14:16:10 +0200 |
wenzelm |
Type_Annotation only works *after* uncheck (which usually requires authentic type information);
|
file |
diff |
annotate
|
| Tue, 28 May 2013 23:06:32 +0200 |
wenzelm |
explicit support for type annotations within printed syntax trees;
|
file |
diff |
annotate
|
| Mon, 27 May 2013 18:24:38 +0200 |
wenzelm |
discontinued obsolete show_all_types;
|
file |
diff |
annotate
|
| Thu, 16 May 2013 21:48:01 +0200 |
wenzelm |
more system options as context-sensitive config options;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 13:23:13 +0200 |
wenzelm |
option "goals_limit", with more uniform description;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 13:01:10 +0200 |
wenzelm |
clarified message when subgoals have been stripped -- unconditional;
|
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
|
| Sat, 15 Dec 2012 12:28:37 +0100 |
wenzelm |
fold main goal;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2012 20:05:08 +0100 |
wenzelm |
more subgoal markup information, which is potentially useful to manage proof state output;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sat, 13 Oct 2012 19:53:04 +0200 |
wenzelm |
some attempts to unify/simplify pretty_goal;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
| Mon, 06 Sep 2010 21:33:19 +0200 |
wenzelm |
more explicit indication of Config.raw options, which are only needed for bootstrapping Pure;
|
file |
diff |
annotate
|
| Sun, 05 Sep 2010 21:41:24 +0200 |
wenzelm |
turned show_sorts/show_types into proper configuration options;
|
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 17:43:44 +0200 |
wenzelm |
turned show_all_types into proper configuration option;
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 16:09:12 +0200 |
wenzelm |
more explicit Config.declare vs. Config.declare_global;
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 15:54:03 +0200 |
wenzelm |
turned show_no_free_types into proper configuration option show_free_types, with flipped polarity;
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 11:21:58 +0200 |
wenzelm |
turned show_consts into proper configuration option;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
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
|
| Sat, 25 Jul 2009 10:31:27 +0200 |
wenzelm |
renamed structure Display_Goal to Goal_Display;
|
file |
diff |
annotate
| base
|