Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/codegen
changeset 25451 7bd190cac91e
parent 24620 40811901b998
child 25611 c0deb7307732
equal deleted inserted replaced
25450:c3b26e533b21 25451:7bd190cac91e 
    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\"; CodePackage.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"
isabelle