Re: [isabelle] Isabelle2016-RC0: Windows bootstrapping
>> 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).
This archive was generated by a fusion of
Pipermail (Mailman edition) and