src/Pure/Thy/term_style.ML
Wed, 06 Dec 2017 18:59:33 +0100 wenzelm prefer control symbol antiquotations;
Wed, 13 Apr 2016 18:01:05 +0200 wenzelm eliminated "xname" and variants;
Wed, 09 Dec 2015 16:36:26 +0100 wenzelm clarified type Token.src: plain token list, with usual implicit value assignment;
Sun, 18 Oct 2015 17:20:20 +0200 wenzelm clarified Symbol.is_control;
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;
less more (0) -30 tip