# HG changeset patch
# User wenzelm
# Date 1223129115 -7200
# Node ID 4a6c9881adc0e09bb0c5101ff5e45972aec3fe14
# Parent  4b79e5d3d0aa4b919153cc04a48ba9864c28baba
ISABELLE_PROCESS commandline;

diff -r 4b79e5d3d0aa -r 4a6c9881adc0 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 {