[isabelle] Isabelle2017-RC0 requires read/write installation

Dear all,

when I install Isabelle (unpacking the Linux archive into /opt) as root,
and then run Isabelle a non-root using
"/opt/Isabelle2017-RC0/Isabelle2017-RC0", jedit starts up, but brings a
dialog box with the following error message:

Failed to create directory:

In 2016-1, it was possible to install and run Isabelle this way.

If I make /opt/Isabelle2017-RC0 readwrite for the non-root user, everything

Best wishes,

On 15 August 2017 at 18:57, Makarius <makarius at sketis.net> wrote:

> Dear Isabelle users,
> We are heading towards the Isabelle2017 release, which is scheduled for
> October 2017. See also
> http://sketis.net/2017/release-candidates-for-isabelle2017
> For early experimentation there is now
> http://isabelle.in.tum.de/website-Isabelle2017-RC0
> There are still some changes to be expected before the first formal
> release candidate (presumably in the first week of September).
> When discussing observations about release candidates, please ensure
> that the Subject line clearly marks a meaningful mailing list thread.
>         Makarius

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.