src/Tools/jEdit/src/scala_console.scala
18 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
19 months ago wenzelm 2017-10-27 tuned;
23 months ago wenzelm 2017-06-30 clarified platform file operations;
2017-05-19 wenzelm 2017-05-19 more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
2017-05-19 wenzelm 2017-05-19 tuned;
2016-02-28 wenzelm 2016-02-28 just one File.find_files, based on Java 7 Files operations;
2015-11-06 wenzelm 2015-11-06 tuned;
2015-11-03 wenzelm 2015-11-03 tuned;
2014-08-03 wenzelm 2014-08-03 tuned message;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-22 wenzelm 2014-07-22 some robustification of console output;
2014-07-22 wenzelm 2014-07-22 more default imports;
2014-05-02 wenzelm 2014-05-02 more sensible interrupt of interpreter, when the user pushes Cancel button;
2014-05-02 wenzelm 2014-05-02 fork Scala interpreter thread, independently of Swing_Thread;
2014-05-02 wenzelm 2014-05-02 clarified synchronization and exception handling;
2014-05-02 wenzelm 2014-05-02 more redirection;
2014-02-20 wenzelm 2014-02-20 added PIDE.snapshot, PIDE.rendering for convenience;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-09-12 wenzelm 2013-09-12 more robust System.getProperty with default;
2013-09-11 wenzelm 2013-09-11 more official initial class path according to sun.misc.Launcher;
2013-09-11 wenzelm 2013-09-11 provide main classpath again, notably for cold-start;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-07-30 wenzelm 2012-07-30 clarified directory content operations (similar to ML version);
2012-07-20 wenzelm 2012-07-20 updated File.find_files;
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;