src/Pure/Tools/main.scala
22 months ago wenzelm 2017-08-31 template for $ISABELLE_HOME_USER/ROOTS;
23 months ago wenzelm 2017-08-20 enforce Isabelle plugins to be enabled;
2017-05-19 wenzelm 2017-05-19 suppress ANSI control sequences in Scala console;
2016-09-01 wenzelm 2016-09-01 clarified important directories;
2016-02-04 wenzelm 2016-02-04 suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;
2016-01-02 wenzelm 2016-01-02 provide server name uniformly on all platforms;
2015-10-24 wenzelm 2015-10-24 more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-02 wenzelm 2015-10-02 clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;
2015-09-30 wenzelm 2015-09-30 uniform treatment of bootstrap directories; Isabelle_System.init() includes Cygwin.init(), e.g. for situations without isabelle.Main; tuned;
2015-09-29 wenzelm 2015-09-29 clarified Isabelle_System.init; clarified GUI.init_laf; clarified modules; tuned signature;
2015-09-29 wenzelm 2015-09-29 tuned;
2015-09-29 wenzelm 2015-09-29 tuned GUI;
2015-09-29 wenzelm 2015-09-29 build session within running jEdit;
2015-09-16 wenzelm 2015-09-16 tuned;
2015-08-22 wenzelm 2015-08-22 tuned;
2015-08-21 wenzelm 2015-08-21 tuned;
2015-08-21 wenzelm 2015-08-21 more version information;
2015-08-21 wenzelm 2015-08-21 eliminated WinRun4J artifact; tuned;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to ML version;
2015-06-19 wenzelm 2015-06-19 uniform system_mode for build test: avoid spurious output_dir/log that is not required later;
2014-12-02 wenzelm 2014-12-02 added Untyped.method convenience (for *this* class only);
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;