Fixed. I installed the right scala version in the right place. Tobias
Am 15/06/2012 20:57, schrieb Florian Haftmann: >> *** Code check failed for Scala: env JAVA_OPTS='-Xms128m -Xmx512m >> -Xss2m' "$SCALA_HOME/bin/scalac" ROOT.scala *** At command "export_code" >> (line 662 of >>> >>> ### Building Isabelle/jEdit ... src/scala_console.scala:21: error: >>> IMain is not a member of scala.tools.nsc.interpreter import >>> scala.tools.nsc.interpreter.IMain > > Dont' know whether these problems still exists, but the output of > >> isabelle getenv SCALA_HOME isabelle scala > > would be extremely useful. > > Cheers, Florian > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
