author | wenzelm |
Wed, 04 Sep 2013 15:27:24 +0200 | |
changeset 53403 | c09f4005d6bd |
parent 52443 | 725916b7dee5 |
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