author | wenzelm |
Sat, 25 Jan 2014 16:35:15 +0100 | |
changeset 55135 | bc8cf4312ea7 |
parent 53403 | c09f4005d6bd |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: update standard keyword files for Emacs Proof General # (Proof General legacy) 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