[isabelle] Isabelle2016-RC0: Windows bootstrapping

Dear Makarius,

after testing RC0 some more, I can confirm that it works smoothly with
libisabelle on Linux and OS X. However, I'm running into bootstrapping
problems under Windows. Namely, recovering symlinks causes an exception.
This time, I could even reproduce the problem on my local machine.

The error message is:


Some more context:


In Isabelle <=2015 I just ignored the symlinks and bootstrapping still
worked (by accident?). For 2016, you moved this routine from isabelle.Main
to Isabelle_System.init, which I appreciate. But I don't understand the
above error at all, given that the file appears to exists.

Steps to reproduce:

0. Install sbt:
1. git clone --recursive https://github.com/larsrh/libisabelle.git
2. In the clone, using administrative prompt (!): sbt
3. In sbt: Run "publishLocal" followed by "appBootstrap/run --version


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