author | wenzelm |
Mon, 19 Apr 2010 17:57:07 +0200 | |
changeset 36207 | a94bbede91c7 |
parent 36206 | a7d7f928d8b8 |
child 36208 | 74c5e6e3c1d3 |
--- a/src/Pure/System/gui_setup.scala Mon Apr 19 17:31:48 2010 +0200 +++ b/src/Pure/System/gui_setup.scala Mon Apr 19 17:57:07 2010 +0200 @@ -43,9 +43,9 @@ } // values - text.append("JVM platform: " + Platform.jvm_platform + "\n") if (Platform.is_windows) text.append("Cygwin root: " + Cygwin.check_root() + "\n") + text.append("JVM platform: " + Platform.jvm_platform + "\n") try { val isabelle_system = new Isabelle_System text.append("ML platform: " + isabelle_system.getenv("ML_PLATFORM") + "\n")