tuned;
authorwenzelm
Mon, 19 Apr 2010 17:57:07 +0200
changeset 36207 a94bbede91c7
parent 36206 a7d7f928d8b8
child 36208 74c5e6e3c1d3
tuned;
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")