src/Pure/System/ml_process.scala
2016-03-08 wenzelm 2016-03-08 more abstract Session.start, without prover command-line; Isabelle_Process.apply is directly based on ML_Process; clarified Isabelle_Process.main command-line; tuned signature;
2016-03-07 wenzelm 2016-03-07 clarified treatment of DEL; tuned signature;
2016-03-07 wenzelm 2016-03-07 clarified RAW_ML_SYSTEM;
2016-03-07 wenzelm 2016-03-07 tuned;
2016-03-07 wenzelm 2016-03-07 Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; more robust File.bash_escape; more robust treatment of ML_OPTIONS; clarified prover args (again);
2016-03-07 wenzelm 2016-03-07 manage the underlying ML process in Scala;