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{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;
2011-09-21 wenzelm 2011-09-21 more abstract wrapping of fifos as System_Channel;
2011-08-13 wenzelm 2011-08-13 reduced verbosity;
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 Path.split convenience;
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-07-04 wenzelm 2011-07-04 explicit class Counter;
2011-06-30 wenzelm 2011-06-30 prefer Isabelle path algebra;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-22 wenzelm 2011-06-22 lazy Isabelle_System.default supports implicit boot;
2011-06-20 wenzelm 2011-06-20 simplified/generalized ISABELLE_FONTS handling;
2011-03-26 wenzelm 2011-03-26 suppress Mercurial backup files; uniform treatment of tool filtering in bash/perl/scala;
2010-09-25 wenzelm 2010-09-25 tuned mk_fifo;
2010-09-22 wenzelm 2010-09-22 eliminated Simple_Thread shorthands that can overlap with full version;
2010-09-22 wenzelm 2010-09-22 more robust Managed_Process.kill: check after sending signal;
2010-09-22 wenzelm 2010-09-22 more robust lib/scripts/process, with explicit script/no_script mode; added general Isabelle_System.Managed_Process, with bash_output as application; tuned;
2010-09-21 wenzelm 2010-09-21 refined Isabelle_System.bash_output: pass pid via stdout, separate stdout/stderr;
2010-09-20 wenzelm 2010-09-20 refined ML/Scala bash wrapper, based on more general lib/scripts/process;
2010-09-20 wenzelm 2010-09-20 more robust Isabelle_System.rm_fifo: avoid external bash invocation, which might not work in JVM shutdown phase (due to Runtime.addShutdownHook);
2010-09-19 wenzelm 2010-09-19 simplified Isabelle_System.mk_fifo: inlined script, append PPID and PID uniformly;
2010-09-18 wenzelm 2010-09-18 simplified fifo handling -- rm_fifo always succeeds without ever blocking; tuned;
2010-09-18 wenzelm 2010-09-18 Isabelle_System.mk_fifo: more robust enumeration of unique names, based on persisting JVM pid (parent of shell process);
2010-08-13 wenzelm 2010-08-13 do not buffer fifo streams here -- done in Isabelle_Process; removed misleading comments -- blocking on open is not reliable on non-standard systems (Cygwin);
2010-08-09 wenzelm 2010-08-09 uniform raw_dump for input/output fifos on Cygwin;
2010-08-09 wenzelm 2010-08-09 Isabelle_Process: separate input fifo for commands (still using the old tty protocol); some partial workarounds for Cygwin;
2010-06-08 wenzelm 2010-06-08 clarified font_family vs. font_family_default; install_fonts: refrain from any magic that does not really work on Mac OS, but introduces strange problems on other platforms;
2010-05-27 wenzelm 2010-05-27 indicate prospective properties;
2010-05-22 wenzelm 2010-05-22 rendering information and style sheets via settings; generalized Isabelle_System.try_read; prefer getenv_strict in most situations;
2010-05-20 wenzelm 2010-05-20 Isabelle_System: allow explicit isabelle_home argument;
2010-05-20 wenzelm 2010-05-20 general Isabelle_System.try_read;
2010-05-10 wenzelm 2010-05-10 more convenient get_font;
2010-05-10 wenzelm 2010-05-10 more convenient get_font;
2010-05-10 wenzelm 2010-05-10 explicit getLines(n) ensures platform-independence -- our files follow the POSIX standard, not DOS;
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-29 wenzelm 2010-03-29 replaced some deprecated methods;
2010-03-29 wenzelm 2010-03-29 adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2010-02-07 wenzelm 2010-02-07 modernized perl scripts: prefer standalone executables; exec bash wrapper script directly -- avoid intermediate process;
2010-02-06 wenzelm 2010-02-06 renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
2010-02-06 wenzelm 2010-02-06 tuned font handling; explicit workaround for Apple's font manager in Java 1.6, which fails to create "IsabelleTextBold" as family member of "IsabelleText";
2010-01-04 wenzelm 2010-01-04 Standard_System.raw_exec; more robust root.mkdirs;