src/Pure/Admin/other_isabelle.scala
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;