[isabelle-dev] [158c513a39f5] JVM crash

Makarius makarius at sketis.net
Sat Aug 19 21:29:32 CEST 2017

On 19/08/17 21:27, Makarius wrote:
> I propose to try the previous Scala release locally, e.g. as follows in
> $ISABELLE_HOME_USER/etc/settings:
>   init_component "$HOME/.isabelle/contrib/scala-2.12.2"

Do not forget "isabelle jedit -b -f" after flipping Scala versions (that
is not required for changes of the Java version).


More information about the isabelle-dev mailing list