src/Pure/Tools/isabelle_process.scala

--- a/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 16:05:09 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 16:05:15 2008 +0200
@@ -356,8 +356,8 @@
     /* exec process */
 
     try {
-      val cmdline = List(IsabelleSystem.getenv_strict("ISABELLE_HOME") +
-          "/bin/isabelle-process", "-W", message_fifo) ++ args
+      val cmdline =
+        List(IsabelleSystem.getenv_strict("ISABELLE_PROCESS"), "-W", message_fifo) ++ args
       proc = IsabelleSystem.exec2(cmdline: _*)
     }
     catch {