[isabelle-dev] Isabelle/jEdit errors

[Lawrence Paulson]

I've probably overlooked something. Where is the current version kept?
Larry

### 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
       ^
src/scala_console.scala:43: error: not found: type IMain
  private var interpreters = Map[Console, IMain]()
                                          ^
src/scala_console.scala:107: error: not found: type IMain
    val interp = new IMain(settings, new PrintWriter(console_writer, true))
                     ^
src/scala_console.scala:111: error: value setContextClassLoader is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
    interp.setContextClassLoader
           ^
src/scala_console.scala:112: error: value bind is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
    interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
           ^
src/scala_console.scala:113: error: value bind is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
    interp.bind("console", "console.Console", console)
           ^
src/scala_console.scala:114: error: value interpret is not a member of AnyRef{def parentClassLoader: org.gjt.sp.jedit.JARClassLoader}
    interp.interpret("import isabelle.jedit.Isabelle")
           ^
7 errors found
Failed to compile sources

[2]+  Exit 2                  isabelle jedit SyntaxN.thy
~/isabelle/hfinite/Incompleteness: