Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping



> What is the outcome of that on Windows? The result needs to be a Cygwin
> symlink, which is a funny special file for Windows.

Apparently those are NTFS symlinks.

Regardless of the actual outcome, deleting the file beforehand should be
safe, because the code to recover Cygwin symlinks truncates the files
anyway, i.e. in the worst case it's a redundant operation.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.