template for $ISABELLE_HOME_USER/ROOTS;

enforce Isabelle plugins to be enabled;

suppress ANSI control sequences in Scala console;

clarified important directories;

suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;

provide server name uniformly on all platforms;

more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;

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;

uniform treatment of bootstrap directories;
Isabelle_System.init() includes Cygwin.init(), e.g. for situations without isabelle.Main;
tuned;

clarified Isabelle_System.init;
clarified GUI.init_laf;
clarified modules;
tuned signature;

tuned;

tuned GUI;

build session within running jEdit;

tuned;

tuned;

tuned;

more version information;

eliminated WinRun4J artifact;
tuned;

clarified modules, like ML version;

tuned signature, according to ML version;

uniform system_mode for build test: avoid spurious output_dir/log that is not required later;

added Untyped.method convenience (for *this* class only);

tuned signature;

more systematic Isabelle output, like in classic Isabelle/ML (without markup);

explicit Exn.error_message in accordance to Output.error_message in ML;

more abstract Exn.Interrupt and POSIX return code;

avoid octal escape literals -- deprecated in scala-2.11.0;

tuned imports;

more on file-system access;
provide ISABELLE_HOME_USER as well;

simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);

update second environment that is used for System.getenv(String);

adhoc update of JVM environment variables, which is relevant for cold start of jEdit;

initialize class immediately (potentially more robust);

removed obsolete README;
open Documentation dockable by default;

more official initial class path according to sun.misc.Launcher;

provide main classpath again, notably for cold-start;

discontinued obsolete command-line tool "isabelle build_dialog";

tuned message;

tuned message;

observe "stopped" after Cygwin init (which is itself uninterruptible);

clarified modules;

tuned signature;

Cygwin_Init based on System_Dialog;

more robust exit;

Build_Dialog based on System_Dialog;
avoid hopping between threads;

build session before start of jedit;

warm start of Isabelle/jEdit from Isabelle/Scala;
avoid mass confusion of plugins due to change of -classpath (cf. 5bef05f5ed58);

more explicit cygwin_root (again) -- do not rely on isabelle_home as cwd;

recovered cygwin.root from 1c87e79bb838;
removed junk;

main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
standardized jdk location;

more self-contained application, with side-entry for init;

tuned signature -- concentrate GUI tools;

tuned signature -- concentrate GUI tools;

prefer system build mode in main application wrappers, to produce heaps insided distribution directory;

moved files;

--HG--
rename : src/Pure/System/main.scala => src/Pure/Tools/main.scala