[isabelle] Isabelle2016-RC0: Windows bootstrapping
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