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:
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
