src/Pure/Tools/isabelle_system.scala
2008-08-23 wenzelm 2008-08-23 added exec; private posix_prefix;
2008-08-23 wenzelm 2008-08-23 shell_prefix: physical /bin/env on Cygwin;
2008-08-23 wenzelm 2008-08-23 BadVariable: toString;
2008-08-23 wenzelm 2008-08-23 added getenv; renamed get_setting to getenv_strict; added shell_prefix (for Cygwin);
2008-08-21 wenzelm 2008-08-21 added get_setting; removed obsolete ISABELLE_HOME, ISABELLE_HOME_USER; added platform_path, which expands variables and performs basic cygwin conversion;
2008-08-16 wenzelm 2008-08-16 Isabelle system support.