doc-src/TutorialI/Documents/Documents.thy
2011-10-09 ago updated ISABELLE_HOME_USER;
2010-08-27 ago eliminated old 'local' command;
2010-04-16 ago replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2009-03-22 ago 1. New cancellation simprocs for common factors in inequations
2008-11-30 ago default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-05-30 ago *** empty log message ***
2008-05-29 ago *** empty log message ***
2008-04-16 ago Sign.add_path;
2007-11-11 ago notation works with any known constant (including fixes/abbrevs);
2007-11-08 ago updated to notation and abbreviation
2007-01-19 ago tuned;
2005-08-29 ago cover tagged command regions;
2005-06-22 ago *** empty log message ***
2005-06-17 ago migrated theory headers to new format
2004-08-18 ago import -> imports
2004-08-16 ago Adapted text to new theory header syntax.
2004-03-26 ago symbols in idents
2004-01-12 ago Added lemmas to Ring_and_Field with slightly modified simplification rules
2002-07-31 ago *** empty log message ***
2002-01-15 ago tuned;
2002-01-15 ago tuned;
2002-01-15 ago stylistic changes
2002-01-14 ago tuned;
2002-01-14 ago tuned;
2002-01-14 ago tuned;
2002-01-14 ago tuned;
2002-01-14 ago tuned;
2002-01-09 ago tuned;
2002-01-09 ago tuned;
2002-01-09 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-07 ago getting close to completion;
2002-01-07 ago tuned;
2002-01-06 ago some more ...;
2002-01-06 ago some more text;
2002-01-05 ago some text on document preparation;
2002-01-05 ago updated;
2002-01-05 ago more on concrete syntax;
2002-01-04 ago beginnings of concrete syntax;
2001-10-01 ago initial setup for chapter on document preparation;