> On 6 Apr 2019, at 20:09, Makarius <[email protected]> wrote: > > On 06/04/2019 13:46, Traytel Dmitriy wrote: >> >>> On 05/04/2019 17:30, Traytel Dmitriy wrote: >>>> >>>> I have the same problem as Jasmin (on a MacBook Pro running macOS 10.14.3). > > Here you could update to current 10.14.4 -- it was my version for > testing. There is some (low) chance that the problem was due to Apple > and is already solved.
I did that: without any success. >> Instead of bisect, I took an educated guess after looking at the file >> history of Admin/components/main. So the first bad commit for me is >> b578749daa62 (which introduces scala 2.12.8). With its parent isabelle jedit >> -bf works. >> >> Funnily, my operating system installation of scala is 2.12.8 too and I don't >> have any problems with it. >> >> Not sure how to proceed from here. > > For the moment you can just return to an older scala component in > $ISABELLE_HOME_USER/etc/settings, e.g. like this: > > init_component "$HOME/.isabelle/contrib/scala-2.12.6" > > or to whatever other version you see fit. > > > End-users won't have to build Isabelle/Scala anyway: a release provides > finished Isabelle/Scala/jEdit jars. Ah ok: I didn't even dare to try an older version with the current repository tip for some reason. But indeed it now works for me with init_component "$ISABELLE_HOME_USER/.isabelle/contrib/scala-2.12.7" Dmitriy _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
