Mercurialisabelle / file revisions
summary | shortlog | changelog | graph | tags | branches | file | revisions | annotate | diff | rss
src/Pure/Thy/term_style.ML
2014-03-18 wenzelm 2014-03-18 more antiquotations; file | diff | annotate
2014-03-18 wenzelm 2014-03-18 clarified bootstrap process: switch to ML with context and antiquotations earlier; file | diff | annotate
2014-03-18 wenzelm 2014-03-18 tuned signature; file | diff | annotate
2014-03-10 wenzelm 2014-03-10 clarified Args.check_src: retain name space information for error output; tuned signature; file | diff | annotate
2014-03-10 wenzelm 2014-03-10 modernized data managed via Name_Space.table; file | diff | annotate
2014-03-10 wenzelm 2014-03-10 clarified Args.src: more abstract type, position refers to name only; prefer self-contained Args.check_src; file | diff | annotate
2013-08-23 wenzelm 2013-08-23 added Theory.setup convenience; file | diff | annotate
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"; file | diff | annotate
2012-12-30 wenzelm 2012-12-30 tuned; file | diff | annotate
2012-12-30 wenzelm 2012-12-30 tuned whitespace; file | diff | annotate
2012-12-18 haftmann 2012-12-18 discontinued legacy antiquotations and styles file | diff | annotate
2011-06-08 wenzelm 2011-06-08 pervasive Output operations; file | diff | annotate
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context; file | diff | annotate
2011-03-20 wenzelm 2011-03-20 tuned; file | diff | annotate
2011-02-02 krauss 2011-02-02 made SML/NJ happy file | diff | annotate
2011-02-01 krauss 2011-02-01 term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...) file | diff | annotate
2010-05-15 wenzelm 2010-05-15 refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P; file | diff | annotate
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic; file | diff | annotate
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned; file | diff | annotate
2009-10-26 haftmann 2009-10-26 legacy warnings for old-style term styles file | diff | annotate
2009-10-08 haftmann 2009-10-08 new generalized concept for term styles file | diff | annotate
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 file | diff | annotate
2009-01-21 wenzelm 2009-01-21 removed Ids; file | diff | annotate
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic; file | diff | annotate
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup file | diff | annotate
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations; file | diff | annotate
2007-07-08 wenzelm 2007-07-08 replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP; file | diff | annotate
2007-07-05 wenzelm 2007-07-05 avoid polymorphic equality; file | diff | annotate
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces; file | diff | annotate
2007-01-19 wenzelm 2007-01-19 renamed Isar/term_style.ML to Thy/term_style.ML; file | diff | annotate
isabelle