src/Pure/Thy/term_style.ML
2014-08-19 wenzelm 2014-08-19 tuned signature -- moved type src to Token, without aliases;
2014-03-18 wenzelm 2014-03-18 more antiquotations;
2014-03-18 wenzelm 2014-03-18 clarified bootstrap process: switch to ML with context and antiquotations earlier;
2014-03-18 wenzelm 2014-03-18 tuned signature;
2014-03-10 wenzelm 2014-03-10 clarified Args.check_src: retain name space information for error output; tuned signature;
2014-03-10 wenzelm 2014-03-10 modernized data managed via Name_Space.table;
2014-03-10 wenzelm 2014-03-10 clarified Args.src: more abstract type, position refers to name only; prefer self-contained Args.check_src;
2013-08-23 wenzelm 2013-08-23 added Theory.setup convenience;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2012-12-30 wenzelm 2012-12-30 tuned;
2012-12-30 wenzelm 2012-12-30 tuned whitespace;
2012-12-18 haftmann 2012-12-18 discontinued legacy antiquotations and styles
2011-06-08 wenzelm 2011-06-08 pervasive Output operations;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-20 wenzelm 2011-03-20 tuned;
2011-02-02 krauss 2011-02-02 made SML/NJ happy
2011-02-01 krauss 2011-02-01 term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...)
2010-05-15 wenzelm 2010-05-15 refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned;
2009-10-26 haftmann 2009-10-26 legacy warnings for old-style term styles
2009-10-08 haftmann 2009-10-08 new generalized concept for term styles
2009-10-07 haftmann 2009-10-07 generalized term styles: transformations may depend on arguments; modernized term_style module; antiquotations thm, prop and term accepting term styles
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-07-08 wenzelm 2007-07-08 replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2007-07-05 wenzelm 2007-07-05 avoid polymorphic equality;
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2007-01-19 wenzelm 2007-01-19 renamed Isar/term_style.ML to Thy/term_style.ML;