src/Pure/System/standard_system.scala
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.);