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