src/Pure/Tools/main.scala

--- a/src/Pure/Tools/main.scala	Sat Sep 28 13:40:33 2013 +0200
+++ b/src/Pure/Tools/main.scala	Sat Sep 28 13:50:38 2013 +0200
@@ -133,7 +133,7 @@
       try {
         GUI.init_laf()
 
-        val isabelle_home0 = System.getenv("ISABELLE_HOME_WINDOWS")
+        val isabelle_home0 = System.getenv("ISABELLE_HOME")
         val isabelle_home = System.getProperty("isabelle.home")
 
         if (isabelle_home0 == null || isabelle_home0 == "") {