src/Pure/Thy/term_style.ML
Wed, 08 Apr 2015 19:39:08 +0200 wenzelm proper context for Object_Logic operations;
Tue, 19 Aug 2014 23:17:51 +0200 wenzelm tuned signature -- moved type src to Token, without aliases;
Tue, 18 Mar 2014 15:29:58 +0100 wenzelm more antiquotations;
Tue, 18 Mar 2014 13:36:28 +0100 wenzelm clarified bootstrap process: switch to ML with context and antiquotations earlier;
Tue, 18 Mar 2014 11:27:09 +0100 wenzelm tuned signature;
Mon, 10 Mar 2014 18:06:23 +0100 wenzelm clarified Args.check_src: retain name space information for error output;
Mon, 10 Mar 2014 17:09:40 +0100 wenzelm modernized data managed via Name_Space.table;
Mon, 10 Mar 2014 16:30:07 +0100 wenzelm clarified Args.src: more abstract type, position refers to name only;
Fri, 23 Aug 2013 20:35:50 +0200 wenzelm added Theory.setup convenience;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Sun, 30 Dec 2012 16:40:28 +0100 wenzelm tuned;
Sun, 30 Dec 2012 16:33:05 +0100 wenzelm tuned whitespace;
Tue, 18 Dec 2012 21:59:44 +0100 haftmann discontinued legacy antiquotations and styles
Wed, 08 Jun 2011 15:39:55 +0200 wenzelm pervasive Output operations;
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context;
Sun, 20 Mar 2011 22:47:08 +0100 wenzelm tuned;
Wed, 02 Feb 2011 08:47:45 +0100 krauss made SML/NJ happy
Tue, 01 Feb 2011 21:09:52 +0100 krauss term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...)
Sat, 15 May 2010 23:16:32 +0200 wenzelm refer directly to structure Keyword and Parse;
Sun, 07 Mar 2010 12:19:47 +0100 wenzelm modernized structure Object_Logic;
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data;
Mon, 26 Oct 2009 09:41:26 +0100 haftmann legacy warnings for old-style term styles
Thu, 08 Oct 2009 15:16:13 +0200 haftmann new generalized concept for term styles
Wed, 07 Oct 2009 16:57:56 +0200 haftmann generalized term styles: transformations may depend on arguments; modernized term_style module; antiquotations thm, prop and term accepting term styles
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Tue, 09 Oct 2007 00:20:13 +0200 wenzelm generic Syntax.pretty/string_of operations;
Sun, 08 Jul 2007 19:51:58 +0200 wenzelm replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
Thu, 05 Jul 2007 00:06:14 +0200 wenzelm avoid polymorphic equality;
Mon, 07 May 2007 00:49:59 +0200 wenzelm simplified DataFun interfaces;
Fri, 19 Jan 2007 22:08:15 +0100 wenzelm renamed Isar/term_style.ML to Thy/term_style.ML;
less more (0) tip