src/Pure/Thy/present.ML
changeset 28500 4b79e5d3d0aa
parent 28496 4cff10648928
child 28840 049f0a8faa35
     1.1 --- a/src/Pure/Thy/present.ML	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -325,7 +325,7 @@
     1.4  
     1.5  fun isabelle_document verbose format name tags path result_path =
     1.6    let
     1.7 -    val s = "\"$ISATOOL\" document -c -o '" ^ format ^ "' \
     1.8 +    val s = "\"$ISABELLE_TOOL\" document -c -o '" ^ format ^ "' \
     1.9        \-n '" ^ name ^ "' -t '" ^ tags ^ "' " ^ File.shell_path path ^
    1.10        " 2>&1" ^ (if verbose then "" else " >/dev/null");
    1.11      val doc_path = Path.append result_path (Path.ext format (Path.basic name));