2014-12-03 ago tuned signature;
2014-11-07 ago prefer externally provided keywords -- Command.read_thy may degenerate to bootstrap_thy in case of errors;
2014-11-07 ago plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
2014-11-06 ago more explicit Keyword.keywords;
2014-11-06 ago simplified keyword kinds;
2014-11-05 ago eliminated pointless dynamic keywords (TTY legacy);
2014-11-05 ago explicit type Keyword.keywords;
2014-11-01 ago tuned signature, in accordance to Scala version;
2014-10-31 ago obsolete;
2014-10-31 ago discontinued pointless option: timing is always on (overall theory only);
2014-10-21 ago clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
2014-10-20 ago official support for "tt" style variants, avoid fragile \verb in LaTeX;
2014-08-12 ago tuned signature according to Scala version -- prefer explicit argument;
2014-08-12 ago separate module Command_Span: mostly syntactic representation;
2014-04-30 ago clarified signature: load_file is still required internally;
2014-03-31 ago support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
2014-03-26 ago prefer Context_Position where a context is available;
2014-03-26 ago superseded by (provide_)parse_files;
2014-03-18 ago clarifed module name;