| changeset 30191 | e3e3d28fe5bc |
| parent 29892 | 4a396c7a77b5 |
| child 30193 | 391e10b42889 |
--- a/lib/Tools/codegen Fri Feb 27 16:05:40 2009 +0100 +++ b/lib/Tools/codegen Mon Mar 02 08:15:32 2009 +0100 @@ -36,5 +36,6 @@ 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" exit ${PIPESTATUS[1]}