changeset 25451 | 7bd190cac91e |
parent 24620 | 40811901b998 |
child 25611 | c0deb7307732 |
--- a/lib/Tools/codegen Wed Nov 21 13:42:31 2007 +0100 +++ b/lib/Tools/codegen Wed Nov 21 14:18:23 2007 +0100 @@ -35,6 +35,6 @@ ## main SERI=$(echo $SERI | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') -CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodePackage.codegen_command (theory \"$THY\") \"$SERI\"))" +CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodePackage.codegen_command (theory \"$THY\") \"$SERI\"));" "$ISABELLE" -q -e "$CMD" "$IMAGE"