src/Pure/Admin/other_isabelle.scala
13 months ago wenzelm 2017-11-11 clarified settings environment;
13 months ago wenzelm 2017-11-11 tuned signature;
18 months ago wenzelm 2017-05-26 tuned signature;
18 months ago wenzelm 2017-05-24 tuned;
19 months ago wenzelm 2017-05-16 proper init_settings, before inspecting ML_HOME etc;
2016-10-20 wenzelm 2016-10-20 proper echo; tuned;
2016-10-18 wenzelm 2016-10-18 clarified modules;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-13 wenzelm 2016-10-13 tuned signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;
2016-10-13 wenzelm 2016-10-13 clarified modules;