2012-12-10 ago generalized notion of active area, where sendback is just one application;
2012-11-28 ago some support for ML runtime statistics;
2012-11-26 ago clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-22 ago more abstract Sendback operations, with explicit id/exec_id properties;
2012-09-25 ago separate module Graph_Display;
2012-08-24 ago clarified syntax boundary cases and errors;
2012-08-22 ago clarified bootstrapping of Pure;
2012-08-08 ago simplified session specifications: names are taken verbatim and current directory is default;
2012-08-08 ago simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point;
2012-08-05 ago prefer general Command_Line.tool wrapper (cf. Scala version);
2012-08-02 ago more official command specifications, including source position;
2012-08-01 ago more standard bootstrapping of Pure outer syntax;
2012-07-26 ago more files for session Pure;
2012-07-22 ago determine source dependencies, relatively to preloaded theories;
2012-07-19 ago more explicit treatment of initial Pure sessions;