[isabelle] Isabelle2015: install problem on Win 7
I've just downloaded Isabelle2015 for Windows (7, 64-bit), and encounter
the following error when attempting to install it:
Failed to create directory:
At this point, Isabelle system initialization ends.
Thus, the problem is that Isabelle's installer is looking for a network
drive to which I'm not attached.
My Isabelle files are installed at
Should I be trying to point the installer there, rather than to U:?
If so, how do I do so?
This archive was generated by a fusion of
Pipermail (Mailman edition) and