src/Pure/System/isabelle_system.scala
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;
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 tuned;
2009-12-28 wenzelm 2009-12-28 separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-28 wenzelm 2009-12-28 tuned;
2009-12-28 wenzelm 2009-12-28 system shutdown hook: strict kill;
2009-12-28 wenzelm 2009-12-28 moved Library.decode_permissive_utf8 to Isabelle_System; moved Library.with_tmp_file to Isabelle_System; added Isabelle_System.read_file/write_file; added Isabelle_System.system_out, with propagation of thread interrupts and process shutdown (global CTRL-C);
2009-12-28 wenzelm 2009-12-28 higher-order treatment of temporary files;
2009-12-28 wenzelm 2009-12-28 isabelle_tool: apply platform_path only once; tuned;
2009-12-28 wenzelm 2009-12-28 slightly more paranoid cleanup of process (cf. http://kylecartmell.com/?p=9 "Five Common java.lang.Process Pitfalls");
2009-12-27 wenzelm 2009-12-27 removed unused read_file;
2009-12-22 wenzelm 2009-12-22 actually closer file reader;
2009-12-22 wenzelm 2009-12-22 tuned;
2009-12-22 wenzelm 2009-12-22 added plain read_file;
2009-12-19 wenzelm 2009-12-19 refined some Symbol operations/signatures; added Symbol.Matcher; flexible Scan.Lexicon.symbols, with one/many/many1 variants;
2009-12-17 wenzelm 2009-12-17 fifo: raw byte stream; Result: fully decoded symbols and tree structure; adapted to simplified message format; tuned;
2009-12-11 wenzelm 2009-12-11 removed unique ids -- now in session.scala;
2009-12-09 wenzelm 2009-12-09 simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
2009-12-09 wenzelm 2009-12-09 slightly more robust and less ambitious version of install_fonts;
2009-12-08 wenzelm 2009-12-08 register_fonts: more precise error handling;
2009-12-07 wenzelm 2009-12-07 depend on Java 1.6 after all;
2009-12-07 wenzelm 2009-12-07 basic support for IsabelleText fonts;
2009-08-29 wenzelm 2009-08-29 misc tuning;
2009-08-04 wenzelm 2009-08-04 added Isabelle_System.components;
2009-07-03 wenzelm 2009-07-03 init isabelle home from existing setting or hint via system property;
2009-06-28 wenzelm 2009-06-28 proper interpretation of Cygwin.config;
2009-06-28 wenzelm 2009-06-28 some more Cygwin checks;
2009-06-28 wenzelm 2009-06-28 moved platform identification to platform.scala; more precise discrimination, including 64bit option;
2009-06-27 wenzelm 2009-06-27 less ambitious version that works with Java 1.5;
2009-06-27 wenzelm 2009-06-27 clarified default_platform;
2009-06-27 wenzelm 2009-06-27 more detailed platform identification;
2009-06-27 wenzelm 2009-06-27 isabelle_path: slightly more liberal root pattern;
2009-06-27 wenzelm 2009-06-27 added isabelle_path; tuned platform_path; tuned comments;
2009-06-27 wenzelm 2009-06-27 builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
2009-06-25 wenzelm 2009-06-25 expand_path: handle parent (..) elements;
2009-06-25 wenzelm 2009-06-25 renamed IsabelleSystem to Isabelle_System; added expand_path; tuned comments; tuned;
2009-06-18 wenzelm 2009-06-18 environment: keep original HOME and PATH (required for Cygwin integrity);
2009-06-18 wenzelm 2009-06-18 added toString;
2009-06-09 wenzelm 2009-06-09 simplified IsabelleSystem.platform_path for cygwin; eliminated ISABELLE_ROOT_JVM; tuned;
2009-06-08 wenzelm 2009-06-08 eliminated hardwired Cygwin setup;
2009-06-07 wenzelm 2009-06-07 static IsabelleSystem.charset; static IsabelleSystem.is_cygwin -- based on system property "os.name"; smart bootstrapping of Isabelle settings environment (via implicit or explicit ISABELLE_TOOL, or isabelle.tool property, or isabelle via PATH); source_file: removed obsolete special treatment of "ML"; misc tuning and reorganization;
2009-06-04 wenzelm 2009-06-04 uniform (short) ids on both sides;