HomeIsabelle/Phabricator

more robust (amending 87403fde8cc3): notably allow symlink to existing…

Description

more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;

Details

Provenance
makariusAuthored on
Parents
rISABELLE48abb09d49ea: more Isabelle/ML/Scala operations;
Branches
Unknown
Tags
Unknown