1.1 --- a/src/Pure/General/file.ML	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/Pure/General/file.ML	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -66,7 +66,7 @@
     1.4  
     1.5  (* system commands *)
     1.6  
     1.7 -fun isabelle_tool cmd = system ("\"$ISATOOL\" " ^ cmd);
     1.8 +fun isabelle_tool cmd = system ("\"$ISABELLE_TOOL\" " ^ cmd);
     1.9  
    1.10  fun system_command cmd =
    1.11    if system cmd <> 0 then error ("System command failed: " ^ cmd)