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