src/Pure/System/isabelle_system.scala
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):
2013-05-17 wenzelm 2013-05-17 timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
2013-05-13 wenzelm 2013-05-13 recovered informative progress from 016cb7d8f297;
2013-05-13 wenzelm 2013-05-13 limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-04-29 wenzelm 2013-04-29 cygwin_root as optional argument; tuned;
2013-04-04 wenzelm 2013-04-04 separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications; tuned signature;
2013-04-04 wenzelm 2013-04-04 separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
2013-02-23 wenzelm 2013-02-23 more robust handling of repeated interrupts while terminating managed process; NB: InterruptedException should have interrupted status cleared already;
2013-01-14 wenzelm 2013-01-14 Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X;
2013-01-12 wenzelm 2013-01-12 add icon for toplevel windows;
2013-01-12 wenzelm 2013-01-12 immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
2013-01-04 wenzelm 2013-01-04 prefer old graph browser in Isabelle/jEdit, which still produces better layout; clarified print mode "active_graph": allow to switch "browser" vs. "graphview" uniformly; tuned signature;
2013-01-02 wenzelm 2013-01-02 support File.read_gzip as well, in accordance to File.write_gzip; tuned signature;
2012-12-31 wenzelm 2012-12-31 tuned signature -- eliminated obsolete Standard_System;
2012-12-31 wenzelm 2012-12-31 tuned signature;
2012-12-06 wenzelm 2012-12-06 more uniform default logic, using settings, options, args etc.; clarified build_dialog -C: imitate jEdit logic selection more precisely;
2012-11-30 wenzelm 2012-11-30 tuned import;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-09-19 wenzelm 2012-09-19 JavaFX is inactive by default;
2012-09-12 wenzelm 2012-09-12 load fonts into JavaFX as well;
2012-08-24 wenzelm 2012-08-24 prefer jEdit file name representation (potentially via VFS); tuned;
2012-07-27 wenzelm 2012-07-27 tuned signature;
2012-07-27 wenzelm 2012-07-27 simplified Path vs. JVM File operations;
2012-07-25 wenzelm 2012-07-25 tuned;
2012-07-21 wenzelm 2012-07-21 some actual build function on ML side; further imitation of "usedir" shell script;
2012-07-20 wenzelm 2012-07-20 more abstract file system operations in Scala, corresponding to ML version;
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-07-20 wenzelm 2012-07-20 further imitation of "usedir" shell script; Pure/build observes build_images option, unlike traditional version; tuned signature;
2012-07-19 wenzelm 2012-07-19 support for detached Bash_Job with some control operations;
2012-07-19 wenzelm 2012-07-19 support external processes with explicit environment;
2012-07-17 wenzelm 2012-07-17 avoid Source.fromFile, which does not necessarily close its input;
2012-07-05 wenzelm 2012-07-05 prefer sys.env from scala 2.9;
2012-04-24 wenzelm 2012-04-24 cold-start HOME is user.home, in accordance with Cygwin-Terminal.bat;
2012-04-22 wenzelm 2012-04-22 more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe);
2012-04-22 wenzelm 2012-04-22 USER_HOME settings variable points to cross-platform user home directory;
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-09-28 wenzelm 2011-09-28 proper platform_file_url for Windows UNC paths (server shares);
2011-09-27 wenzelm 2011-09-27 proper platform_file_url;