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