Admin/update-keywords
changeset 33684 29d8aaeb56e5
parent 28504 7ad7d7d6df47
child 33687 3222fa052846
equal deleted inserted replaced
33683:8d43e5e0588d 33684:29d8aaeb56e5
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
       
     4 # Author: Makarius
     3 # Author: Makarius
     5 #
     4 #
     6 # DESCRIPTION: Update standard keyword files.
     5 # DESCRIPTION: Update standard keyword files for Emacs Proof General
     7 
     6 
     8 ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
     7 ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
     9 LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
     8 LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
    10 
     9 
    11 
    10 
    12 ## Emacs ProofGeneral
       
    13 
       
    14 cd "$ISABELLE_HOME/etc"
    11 cd "$ISABELLE_HOME/etc"
    15 
    12 
    16 isabelle keywords -t emacs \
    13 isabelle keywords \
    17   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
    14   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
    18   "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
    15   "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
    19 
    16 
    20 isabelle keywords -t emacs -k ZF \
    17 isabelle keywords -k ZF \
    21   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    18   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    22 
    19 
    23 
       
    24 ## jEdit
       
    25 
       
    26 cd "$ISABELLE_HOME/lib/jedit"
       
    27 
       
    28 isabelle keywords -t jedit \
       
    29   "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
       
    30   "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"