author | haftmann |
Mon, 02 Mar 2009 08:26:03 +0100 | |
changeset 30193 | 391e10b42889 |
parent 30192 | 51e3e0e821c5 |
child 30194 | 2fc281289b22 |
child 30196 | 6ffaa79c352c |
child 30198 | 922f944f03b2 |
lib/Tools/codegen | file | annotate | diff | comparison | revisions |
--- a/lib/Tools/codegen Mon Mar 02 08:15:54 2009 +0100 +++ b/lib/Tools/codegen Mon Mar 02 08:26:03 2009 +0100 @@ -36,6 +36,5 @@ THY=$(echo $THY | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') ISAR="theory Codegen imports \"$THY\" begin export_code $CMD end" -export ISABELLE_LINE_EDITOR="" -echo "$ISAR" | "$ISABELLE_TOOL" tty -l "$IMAGE" +echo "$ISAR" | "$ISABELLE_PROCESS" -I "$IMAGE" exit ${PIPESTATUS[1]}