--- a/src/Pure/Tools/isabelle_system.scala Sat Oct 04 16:05:08 2008 +0200
+++ b/src/Pure/Tools/isabelle_system.scala Sat Oct 04 16:05:09 2008 +0200
@@ -93,7 +93,7 @@
def isabelle_tool(args: String*) = {
val proc =
- try { exec2((List(getenv_strict("ISATOOL")) ++ args): _*) }
+ try { exec2((List(getenv_strict("ISABELLE_TOOL")) ++ args): _*) }
catch { case e: IOException => error(e.getMessage) }
proc.getOutputStream.close
val output = Source.fromInputStream(proc.getInputStream, charset).mkString("")