Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Tue, 29 May 2012 20:20:32 +0200
changeset 48017 9f7b27635b57
parent 48016 edbc8e8accd9
child 48018 b941dd7df92a
tuned message;
src/Pure/System/gui_setup.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/gui_setup.scala	Tue May 29 18:00:54 2012 +0200
+++ b/src/Pure/System/gui_setup.scala	Tue May 29 20:20:32 2012 +0200
@@ -55,7 +55,7 @@
       val isabelle_home_windows = Isabelle_System.getenv("ISABELLE_HOME_WINDOWS")
       if (isabelle_home_windows != "")
         text.append("Isabelle home (Windows): " + isabelle_home_windows + "\n")
-      text.append("Isabelle jdk home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n")
+      text.append("Isabelle JDK home: " + Isabelle_System.getenv("ISABELLE_JDK_HOME") + "\n")
     }
     catch { case ERROR(msg) => text.append(msg + "\n") }
isabelle