src/Pure/Admin/other_isabelle.scala
7 months ago wenzelm 2017-11-11 clarified settings environment;
7 months ago wenzelm 2017-11-11 tuned signature;
13 months ago wenzelm 2017-05-26 tuned signature;
13 months ago wenzelm 2017-05-24 tuned;
13 months ago wenzelm 2017-05-16 proper init_settings, before inspecting ML_HOME etc;
20 months ago wenzelm 2016-10-20 proper echo; tuned;
20 months ago wenzelm 2016-10-18 clarified modules;
20 months ago wenzelm 2016-10-13 tuned;
20 months ago 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;
20 months ago wenzelm 2016-10-13 clarified modules;