src/Pure/System/standard_system.scala
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 added eq_file / copy_file corresponding to File.eq / File.copy in ML;
2012-07-17 wenzelm 2012-07-17 tuned imports;
2012-05-30 wenzelm 2012-05-30 discontinued unused unzip/untar;
2012-05-24 wenzelm 2012-05-24 discontinued obsolete Cygwin module;
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-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-09-24 wenzelm 2011-09-24 standardize drive letters -- important for proper document node identification;
2011-07-11 wenzelm 2011-07-11 some support for raw messages, which bypass standard Symbol/YXML decoding; tuned signature;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-05 wenzelm 2011-07-05 prefer space_explode/split_lines as in Isabelle/ML;
2011-07-05 wenzelm 2011-07-05 tuned;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-22 wenzelm 2011-06-22 prefer actual charset over charset name;
2010-09-27 wenzelm 2010-09-27 added Standard_System.unzip (for platform file-system); tuned comments;
2010-09-27 wenzelm 2010-09-27 some more options to robustify posix_untar;
2010-09-27 wenzelm 2010-09-27 more efficient posix_untar -- avoid really slow java.util.zip.GZIPInputStream; misc tuning;
2010-09-26 wenzelm 2010-09-26 raw_untar.raw_execute with native cwd, to avoid cross-platform complications; more informative treatment of IOException, notably due to broken pipe;
2010-09-26 wenzelm 2010-09-26 added Standard_System.raw_untar;
2010-09-22 wenzelm 2010-09-22 Standard_System.with_tmp_file: deleteOnExit to make double sure;
2010-09-21 wenzelm 2010-09-21 added Standard_System.slurp convenience; tuned;
2010-09-18 wenzelm 2010-09-18 raw_execute: let IOException pass-through unhindered (again);
2010-08-10 wenzelm 2010-08-10 added string_bytes convenience;
2010-04-17 wenzelm 2010-04-17 improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
2010-04-14 wenzelm 2010-04-14 more precise treatment of UNC server prefix, e.g. //foo;
2010-03-30 wenzelm 2010-03-30 adapted to Scala 2.8.0 Beta 1;
2010-03-29 wenzelm 2010-03-29 adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-01-09 wenzelm 2010-01-09 misc tuning;
2010-01-09 wenzelm 2010-01-09 added find_files;
2010-01-04 wenzelm 2010-01-04 Standard_System.raw_exec; more robust root.mkdirs;
2010-01-02 wenzelm 2010-01-02 Standard_System.raw_execute: optional cwd; basic Cygwin.setup with download and unattended installation;
2009-12-28 wenzelm 2009-12-28 ignore undefined environment;
2009-12-28 wenzelm 2009-12-28 separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);