src/Pure/ML/ml_process.scala
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;