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 MHonArc.