| changeset 30240 | 5b25fee0362c |
| parent 29892 | 4a396c7a77b5 |
| child 30242 | aea5d7fa7ef5 |
--- a/lib/Tools/codegen Wed Mar 04 10:43:39 2009 +0100 +++ b/lib/Tools/codegen Wed Mar 04 10:45:52 2009 +0100 @@ -36,5 +36,5 @@ THY=$(echo $THY | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') ISAR="theory Codegen imports \"$THY\" begin export_code $CMD end" -echo "$ISAR" | "$ISABELLE_TOOL" tty -l "$IMAGE" +echo "$ISAR" | "$ISABELLE_PROCESS" -I "$IMAGE" exit ${PIPESTATUS[1]}