more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE48abb09d49ea: more Isabelle/ML/Scala operations;
- Branches
- Unknown
- Tags