# HG changeset patch
# User wenzelm
# Date 1289924831 -3600
# Node ID a87a6b90e900d23653d29c1f8bf03c4e96285eb9
# Parent  36d4f2757f4fcfdc642731ed282e3adb1b8ee9ec
tuned message;

diff -r 36d4f2757f4f -r a87a6b90e900 src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Tue Nov 16 15:29:01 2010 +0100
+++ b/src/Pure/System/gui_setup.scala	Tue Nov 16 17:27:11 2010 +0100
@@ -39,6 +39,7 @@
     // values
     if (Platform.is_windows)
       text.append("Cygwin root: " + Cygwin.check_root() + "\n")
+    text.append("JVM name: " + System.getProperty("java.vm.name") + "\n")
     text.append("JVM platform: " + Platform.jvm_platform + "\n")
     try {
       val isabelle_system = new Isabelle_System