src/Tools/jEdit/src/scala_console.scala
2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-07-22 ago some robustification of console output;
2014-07-22 ago more default imports;
2014-05-02 ago more sensible interrupt of interpreter, when the user pushes Cancel button;
2014-05-02 ago fork Scala interpreter thread, independently of Swing_Thread;
2014-05-02 ago clarified synchronization and exception handling;
2014-05-02 ago more redirection;
2014-02-20 ago added PIDE.snapshot, PIDE.rendering for convenience;
2014-02-20 ago tuned imports;
2013-09-12 ago more robust System.getProperty with default;
2013-09-11 ago more official initial class path according to sun.misc.Launcher;
2013-09-11 ago provide main classpath again, notably for cold-start;
2012-11-25 ago renamed main plugin object to PIDE;
2012-11-25 ago explicit module UTF8;
2012-07-30 ago clarified directory content operations (similar to ML version);
2012-07-20 ago updated File.find_files;
2012-07-20 ago more explicit java.io.{File => JFile};
2012-05-24 ago avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
2011-11-18 ago tuned message;
2011-07-04 ago quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-23 ago explicit import java.lang.System to prevent odd scope problems;
2011-06-08 ago moved sources -- eliminated Netbeans artifact of jedit package directory;