# 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")