author | smolkas |
Wed, 26 Jun 2013 18:25:13 +0200 | |
changeset 52453 | 2cba5906d836 |
parent 52443 | 725916b7dee5 |
child 53403 | c09f4005d6bd |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: update standard keyword files for Emacs Proof General isabelle_admin_build jars || exit $? declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" cd "$ISABELLE_HOME/etc" "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Keywords update_keywords