# HG changeset patch
# User haftmann
# Date 1234517426 -3600
# Node ID 42aa700354d68f4bdc8c54e5196c2e4ef7c97812
# Parent  95e6eb9044fecb6f08ac6f04adb522f02a70f526# Parent  cc9eaa852fcdc18e84ea1947817f78e7635b090b
merged

diff -r 95e6eb9044fe -r 42aa700354d6 lib/Tools/codegen
--- a/lib/Tools/codegen	Fri Feb 13 09:56:24 2009 +0100
+++ b/lib/Tools/codegen	Fri Feb 13 10:30:26 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_PROCESS" -I "$IMAGE" || exit 1
+echo "$ISAR" | "$ISABELLE_TOOL" tty -l "$IMAGE" || exit 1