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 (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |