2010-05-27 ago indicate prospective properties;
2010-05-22 ago rendering information and style sheets via settings;
2010-05-20 ago Isabelle_System: allow explicit isabelle_home argument;
2010-05-20 ago general Isabelle_System.try_read;
2010-05-10 ago more convenient get_font;
2010-05-10 ago more convenient get_font;
2010-05-10 ago explicit getLines(n) ensures platform-independence -- our files follow the POSIX standard, not DOS;
2010-04-17 ago improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
2010-04-14 ago more precise treatment of UNC server prefix, e.g. //foo;
2010-03-29 ago replaced some deprecated methods;
2010-03-29 ago adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-02-07 ago modernized perl scripts: prefer standalone executables;
2010-02-06 ago renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
2010-02-06 ago tuned font handling;
2010-01-04 ago Standard_System.raw_exec;
2010-01-02 ago Standard_System.raw_execute: optional cwd;
2009-12-28 ago tuned;
2009-12-28 ago separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-28 ago tuned;
2009-12-28 ago system shutdown hook: strict kill;
2009-12-28 ago moved Library.decode_permissive_utf8 to Isabelle_System;
2009-12-28 ago higher-order treatment of temporary files;
2009-12-28 ago isabelle_tool: apply platform_path only once;
2009-12-28 ago slightly more paranoid cleanup of process (cf. "Five Common java.lang.Process Pitfalls");
2009-12-27 ago removed unused read_file;
2009-12-22 ago actually closer file reader;
2009-12-22 ago tuned;
2009-12-22 ago added plain read_file;
2009-12-19 ago refined some Symbol operations/signatures;
2009-12-17 ago fifo: raw byte stream;
2009-12-11 ago removed unique ids -- now in session.scala;
2009-12-09 ago simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
2009-12-09 ago slightly more robust and less ambitious version of install_fonts;
2009-12-08 ago register_fonts: more precise error handling;
2009-12-07 ago depend on Java 1.6 after all;
2009-12-07 ago basic support for IsabelleText fonts;
2009-08-29 ago misc tuning;
2009-08-04 ago added Isabelle_System.components;
2009-07-03 ago init isabelle home from existing setting or hint via system property;
2009-06-28 ago proper interpretation of Cygwin.config;
2009-06-28 ago some more Cygwin checks;
2009-06-28 ago moved platform identification to platform.scala;
2009-06-27 ago less ambitious version that works with Java 1.5;
2009-06-27 ago clarified default_platform;
2009-06-27 ago more detailed platform identification;
2009-06-27 ago isabelle_path: slightly more liberal root pattern;
2009-06-27 ago added isabelle_path;
2009-06-27 ago builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
2009-06-25 ago expand_path: handle parent (..) elements;
2009-06-25 ago renamed IsabelleSystem to Isabelle_System;
2009-06-18 ago environment: keep original HOME and PATH (required for Cygwin integrity);
2009-06-18 ago added toString;
2009-06-09 ago simplified IsabelleSystem.platform_path for cygwin;
2009-06-08 ago eliminated hardwired Cygwin setup;
2009-06-07 ago static IsabelleSystem.charset;
2009-06-04 ago uniform (short) ids on both sides;
2009-06-04 ago retrieve ML source files;
2009-05-23 ago getenv_strict needs to be based on getenv (accidentally broken in 0e88d33e8d19);
2009-02-28 ago fixed headers;
2009-02-28 ago moved isabelle_system.scala to src/Pure/System/;