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