src/Tools/jEdit/src/scala_console.scala
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-05-24 wenzelm 2012-05-24 avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0; discontinued support for scala-2.8.x;
2011-11-18 wenzelm 2011-11-18 tuned message;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;