Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
The file was modified | src/Pure/System/isabelle_system.scala |