src/Tools/value.ML
2011-07-01 wenzelm 2011-07-01 proper @{binding} antiquotations (relevant for formal references);
2011-07-01 bulwahn 2011-07-01 adding a value antiquotation
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-07-08 haftmann 2010-07-08 tuned titles
2010-05-27 wenzelm 2010-05-27 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned;
2009-05-20 haftmann 2009-05-20 fixed typo
2009-01-01 wenzelm 2009-01-01 avoid polymorphic equality;
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s