# HG changeset patch # User wenzelm # Date 1271692627 -7200 # Node ID a94bbede91c77eaab5a88b017d4c6a48dfcf1ef2 # Parent a7d7f928d8b8dc3eb339ba6e26ab155120fa35a3 tuned; diff -r a7d7f928d8b8 -r a94bbede91c7 src/Pure/System/gui_setup.scala --- 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")