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). Makarius