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;