added HOL-Statespace session;
authorwenzelm
Wed Oct 24 19:46:00 2007 +0200 (2007-10-24)
changeset 2517566a33a664609
parent 25174 d70d6dbc3a60
child 25176 c5f80d70537e
added HOL-Statespace session;
Admin/update-keywords
     1.1 --- a/Admin/update-keywords	Wed Oct 24 19:21:40 2007 +0200
     1.2 +++ b/Admin/update-keywords	Wed Oct 24 19:46:00 2007 +0200
     1.3 @@ -14,7 +14,8 @@
     1.4  cd "$ISABELLE_HOME/etc"
     1.5  
     1.6  isatool keywords -t emacs \
     1.7 -  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz"
     1.8 +  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
     1.9 +  "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
    1.10  
    1.11  isatool keywords -t emacs -k ZF \
    1.12    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    1.13 @@ -25,5 +26,6 @@
    1.14  cd "$ISABELLE_HOME/lib/jedit"
    1.15  
    1.16  isatool keywords -t jedit \
    1.17 -  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    1.18 +  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
    1.19 +  "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
    1.20