[isabelle] Isabelle2017-RC0 requires read/write installation
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
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
> For early experimentation there is now
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and