src/Pure/System/isabelle_system.scala
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;
2016-08-13 wenzelm 2016-08-13 tuned;
2016-03-15 wenzelm 2016-03-15 find heaps uniformly via Sessions.Store; tuned;
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-13 wenzelm 2016-03-13 tuned signature;
2016-03-13 wenzelm 2016-03-13 prefer Scala over bash function;
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-13 wenzelm 2016-03-13 clarified env;
2016-03-13 wenzelm 2016-03-13 unused;
2016-03-13 wenzelm 2016-03-13 more uniform signature for various process invocations; env refers to full environment, not the update;
2016-03-12 wenzelm 2016-03-12 more thorough cleanup -- in Scala;
2016-03-09 wenzelm 2016-03-09 isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
2016-03-07 wenzelm 2016-03-07 Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; more robust File.bash_escape; more robust treatment of ML_OPTIONS; clarified prover args (again);
2016-03-07 wenzelm 2016-03-07 clarified modules;
2016-02-24 wenzelm 2016-02-24 more informative Build.build_results; tuned signature;
2016-02-24 wenzelm 2016-02-24 more informative Process_Result; tuned;
2016-02-24 wenzelm 2016-02-24 clarified modules;
2016-02-14 wenzelm 2016-02-14 more direct invocation of ISABELLE_BASH_PROCESS on Windows;
2016-02-14 wenzelm 2016-02-14 tuned signature;
2016-02-13 wenzelm 2016-02-13 tuned signature -- more like ML version;
2016-02-13 wenzelm 2016-02-13 clarified bash process -- similar to ML version;
2016-02-13 wenzelm 2016-02-13 tuned signature;
2015-11-03 wenzelm 2015-11-03 more direct task future implementation, with proper cancel operation; more uniform Future.thread;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-09-30 wenzelm 2015-09-30 proper Cygwin.init (amending e00e1bf23d03);
2015-09-30 wenzelm 2015-09-30 clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
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-08-26 wenzelm 2015-08-26 clarified kill on Windows: just one executable;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
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-05-05 wenzelm 2015-05-05 more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-04-24 wenzelm 2015-04-24 tuned message, in accordance to ML side;
2015-04-12 wenzelm 2015-04-12 avoid redundant shell process;
2015-04-11 wenzelm 2015-04-11 more uniform Isabelle_System.mkdirs in ML/Scala; avoid odd permission problems on Windows (e.g. Desktop) by using "mkdirs" from Cygwin;
2014-10-09 wenzelm 2014-10-09 prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
2014-06-27 wenzelm 2014-06-27 sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
2014-05-05 wenzelm 2014-05-05 expose interrupts more like ML version, but not in managed bash processes of Build;
2014-05-05 wenzelm 2014-05-05 more robust process kill -- postpone interrupts on current thread;
2014-04-29 wenzelm 2014-04-29 basic support for Mercurial command line tools;
2014-04-23 wenzelm 2014-04-23 more abstract Exn.Interrupt and POSIX return code;
2014-04-23 wenzelm 2014-04-23 avoid accidental use of scala.language.reflectiveCalls;
2014-04-22 wenzelm 2014-04-22 avoid octal escape literals -- deprecated in scala-2.11.0;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-08 wenzelm 2014-04-08 more native rm_tree, using Java 7 facilities;
2014-04-07 wenzelm 2014-04-07 support for URL as file name, similar to treatment in jEdit.java;
2014-04-05 wenzelm 2014-04-05 more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
2014-03-03 wenzelm 2014-03-03 tuned signature;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2014-02-18 wenzelm 2014-02-18 prefer concrete list append;
2013-12-30 wenzelm 2013-12-30 avoid hardwired /bin/bash (like canonical Isabelle shell scripts);
2013-12-07 wenzelm 2013-12-07 more direct Isabelle_System.pdf_viewer; generic Isabelle_System.open, e.g. for URLs;
2013-11-25 wenzelm 2013-11-25 more robust and portable invocation of kill as bash builtin, instead of external executable -- NB: /bin/kill on Mac OS X Mountain Lion chokes on Linux workaround from 3610ae73cfdb;
2013-10-02 wenzelm 2013-10-02 tuned whitespace;
2013-09-12 wenzelm 2013-09-12 more robust System.getProperty with default;
2013-07-15 wenzelm 2013-07-15 Scala version of init.bat;
2013-05-22 wenzelm 2013-05-22 more robust command line -- accomodate /bin/kill on recent Linux (e.g. Xubuntu 13.04):