Admin/update-keywords
changeset 28504 7ad7d7d6df47
parent 28481 b1e63755e402
child 33684 29d8aaeb56e5
     1.1 --- a/Admin/update-keywords	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/Admin/update-keywords	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -5,19 +5,19 @@
     1.4  #
     1.5  # DESCRIPTION: Update standard keyword files.
     1.6  
     1.7 -ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)"
     1.8 -LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
     1.9 +ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
    1.10 +LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
    1.11  
    1.12  
    1.13  ## Emacs ProofGeneral
    1.14  
    1.15  cd "$ISABELLE_HOME/etc"
    1.16  
    1.17 -isatool keywords -t emacs \
    1.18 +isabelle keywords -t emacs \
    1.19    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
    1.20    "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
    1.21  
    1.22 -isatool keywords -t emacs -k ZF \
    1.23 +isabelle keywords -t emacs -k ZF \
    1.24    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    1.25  
    1.26  
    1.27 @@ -25,6 +25,6 @@
    1.28  
    1.29  cd "$ISABELLE_HOME/lib/jedit"
    1.30  
    1.31 -isatool keywords -t jedit \
    1.32 +isabelle keywords -t jedit \
    1.33    "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
    1.34    "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"