src/Pure/Tools/main.scala
2014-12-02 ago added Untyped.method convenience (for *this* class only);
2014-05-07 ago tuned signature;
2014-04-29 ago more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-23 ago explicit Exn.error_message in accordance to Output.error_message in ML;
2014-04-23 ago more abstract Exn.Interrupt and POSIX return code;
2014-04-22 ago avoid octal escape literals -- deprecated in scala-2.11.0;
2014-02-20 ago tuned imports;
2013-10-30 ago more on file-system access;
2013-09-28 ago simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
2013-09-28 ago update second environment that is used for System.getenv(String);
2013-09-28 ago adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
2013-09-26 ago initialize class immediately (potentially more robust);
2013-09-21 ago removed obsolete README;
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;
2013-09-10 ago discontinued obsolete command-line tool "isabelle build_dialog";
2013-09-07 ago tuned message;
2013-09-07 ago tuned message;
2013-09-07 ago observe "stopped" after Cygwin init (which is itself uninterruptible);
2013-09-07 ago clarified modules;
2013-09-07 ago tuned signature;
2013-09-07 ago Cygwin_Init based on System_Dialog;
2013-09-07 ago more robust exit;
2013-09-07 ago Build_Dialog based on System_Dialog;
2013-09-07 ago build session before start of jedit;
2013-09-06 ago warm start of Isabelle/jEdit from Isabelle/Scala;
2013-09-05 ago more explicit cygwin_root (again) -- do not rely on isabelle_home as cwd;
2013-09-05 ago recovered cygwin.root from 1c87e79bb838;
2013-09-05 ago main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
2013-07-16 ago more self-contained application, with side-entry for init;
2013-04-04 ago tuned signature -- concentrate GUI tools;
2013-04-04 ago tuned signature -- concentrate GUI tools;
2013-01-10 ago prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
2013-01-02 ago moved files;