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.