Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping
On Thu, 7 Jan 2016, Lars Hupel wrote:
The Isabelle_windows.tar.gz with symblinks violates that in some sense,
so maybe links should be removed by the release build process? (What
you have called "Wurstfabrik").
Of course, that would also work. I didn't think of that, but it's
probably the proper solution.
I forgot to add: This would also mean that administrative privileges are
not required any more for unpacking the Windows tarball (mere users are
not allowed to create symlinks).
OK, I have changed it trivially as follows:
This archive was generated by a fusion of
Pipermail (Mailman edition) and