Admin/update-keywords
author wenzelm
Sun Oct 07 13:32:14 2007 +0200 (2007-10-07)
changeset 24884 d1e7c1b45c8d
parent 24878 7ed3077528b6
child 24903 57a33f4c2c19
permissions -rwxr-xr-x
emacs vs. jedit;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: Update standard keyword files.
     7 
     8 ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)"
     9 LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
    10 
    11 
    12 ## Emacs ProofGeneral
    13 
    14 cd "$ISABELLE_HOME/etc"
    15 
    16 isatool keywords -t emacs \
    17   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
    18 
    19 isatool keywords -t emacs -k HOL-Nominal \
    20   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
    21 
    22 isatool keywords -t emacs -k ZF \
    23   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    24 
    25 
    26 ## jEdit
    27 
    28 cd "$ISABELLE_HOME/lib/jedit"
    29 
    30 isatool keywords -t jedit \
    31   "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    32