src/Pure/ML/ml_process.scala
22 months ago ago treat sessions as entities with defining position;
22 months ago ago formal treatment of documentation names;
23 months ago ago added document antiquotation @{session name};
2017-11-12 ago tuned signature;
2017-11-07 ago tuned signature;
2017-11-07 ago clarifified selection: always wrt. build_graph structure;
2017-10-31 ago tuned;
2017-10-12 ago clarified signature;
2017-10-08 ago clarified signature;
2017-10-08 ago proper output of raw ML;
2017-09-29 ago more informative loaded_theories: dependencies and syntax;
2017-09-28 ago session-qualified theory names are mandatory;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-13 ago clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
2017-04-13 ago clarified directories;