src/Pure/System/isabelle_system.scala
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;
2009-06-04 wenzelm 2009-06-04 retrieve ML source files;
2009-05-23 wenzelm 2009-05-23 getenv_strict needs to be based on getenv (accidentally broken in 0e88d33e8d19);
2009-02-28 wenzelm 2009-02-28 fixed headers;
2009-02-28 wenzelm 2009-02-28 moved isabelle_system.scala to src/Pure/System/;