2014-03-25 ago added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2014-03-02 ago clarified names of antiquotations and markup;
2014-02-10 ago discontinued axiomatic 'classes', 'classrel', 'arities';
2014-01-22 ago Locales paper has appeared in print.
2014-01-22 ago prefer rail cartouche -- avoid back-slashed quotes;
2014-01-17 ago clarified @{rail} syntax: prefer explicit \<newline> symbol;
2013-10-03 ago Streamlined locales reference material.
2013-09-11 ago do not expose internal flags to attribute name space;
2013-09-03 ago Further clarifies sublocale and rewrite morphisms.
2013-09-03 ago Clarifies that interpretation does not only apply to facts, but to declaratoins in general.
2013-09-03 ago Clarifies documentation of interpretation in local theories.
2013-08-13 ago standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-04-23 ago documentation and NEWS
2013-04-09 ago more accurate documentation of "(structure)" mixfix;
2013-03-30 ago added 'print_defn_rules' command;
2013-03-27 ago Improvements to the print_dependencies command.
2013-02-28 ago discontinued obsolete 'axioms' command;
2013-01-04 ago document 'locale_deps';
2012-11-19 ago alternative completion for outer syntax keywords;
2012-09-10 ago more explicit indication of legacy features;
2012-08-28 ago renamed doc-src to src/Doc;