[isabelle-dev] distributed installation + sledgehammer file write permissions
makarius at sketis.net
Wed Sep 24 20:42:07 CEST 2014
On Wed, 24 Sep 2014, Leo Freitas wrote:
> I use Isabelle for teaching and it was installed by an adjustment to the
> web-distribution for our Linux machines. Now, I will need to use a lab
> running on Window, s and that created a few issues I couldn’t help our
> support team much.
I am presently not well-connected and falling a bit behind mailing list
traffic. In any case your question is off-topic for isabelle-dev. If you
post it again on isabelle-users, more people have a chance to answer
and/or benefit from the discussion.
Some months ago someone from the vicinity of Newcastle was asking a
similar question about Windows installation with network drives for the
program and a different share for the user home directory. In the end it
somehow worked, but I don't know how. He was not willing to spend 20min
more to tell me about the solution, such that next time it could work for
without further ado.
More information about the isabelle-dev