src/Tools/value.ML
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