src/Pure/ROOT
2013-01-16 wenzelm 2013-01-16 more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;
2013-01-10 wenzelm 2013-01-10 recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;
2013-01-02 wenzelm 2013-01-02 moved files;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;
2012-11-28 wenzelm 2012-11-28 some support for ML runtime statistics;
2012-11-26 wenzelm 2012-11-26 clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-22 wenzelm 2012-11-22 more abstract Sendback operations, with explicit id/exec_id properties; purge result messages (again), cf. db58490a68ac, 7b61a539721e;
2012-09-25 wenzelm 2012-09-25 separate module Graph_Display; tuned signature;
2012-08-24 wenzelm 2012-08-24 clarified syntax boundary cases and errors;
2012-08-22 wenzelm 2012-08-22 clarified bootstrapping of Pure;
2012-08-08 wenzelm 2012-08-08 simplified session specifications: names are taken verbatim and current directory is default;
2012-08-08 wenzelm 2012-08-08 simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point;
2012-08-05 wenzelm 2012-08-05 prefer general Command_Line.tool wrapper (cf. Scala version);
2012-08-02 wenzelm 2012-08-02 more official command specifications, including source position;
2012-08-01 wenzelm 2012-08-01 more standard bootstrapping of Pure outer syntax;
2012-07-26 wenzelm 2012-07-26 more files for session Pure;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-07-19 wenzelm 2012-07-19 more explicit treatment of initial Pure sessions;