src/Pure/ML/ml_process.scala
13 months ago wenzelm 2018-05-17 clarified signature;
16 months ago wenzelm 2018-02-09 more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
17 months ago wenzelm 2018-01-28 proper signature (amending c4e9e0c50487);
17 months ago wenzelm 2018-01-23 treat sessions as entities with defining position; tuned signature;
17 months ago wenzelm 2018-01-19 formal treatment of documentation names;
18 months ago wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-07 tuned signature;
19 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
20 months ago wenzelm 2017-10-31 tuned;
20 months ago wenzelm 2017-10-12 clarified signature;
20 months ago wenzelm 2017-10-08 clarified signature;
20 months ago wenzelm 2017-10-08 proper output of raw ML;
21 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
21 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
2017-04-21 wenzelm 2017-04-21 eliminated default_qualifier: just a constant;
2017-04-13 wenzelm 2017-04-13 clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
2017-04-13 wenzelm 2017-04-13 clarified directories;