| changeset 24220 | a479ac416ac2 |
| parent 22346 | 6a4203148945 |
| child 24620 | 40811901b998 |
| 24219:e558fe311376 | 24220:a479ac416ac2 |
|---|---|
33 |
33 |
34 |
34 |
35 ## main |
35 ## main |
36 |
36 |
37 SERI=$(echo $SERI | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') |
37 SERI=$(echo $SERI | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') |
38 CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodegenPackage.codegen_command (theory \"$THY\") \"$SERI\"))" |
38 CMD="Isar.toplevel (fn _ => (use_thy \"$THY\"; CodePackage.codegen_command (theory \"$THY\") \"$SERI\"))" |
39 |
39 |
40 "$ISABELLE" -q -e "$CMD" "$IMAGE" |
40 "$ISABELLE" -q -e "$CMD" "$IMAGE" |