Admin/update-keywords
changeset 33898 2ca2693a8c10
parent 33687 3222fa052846
child 37284 a1b0201584cd
     1.1 --- a/Admin/update-keywords	Wed Nov 25 15:04:20 2009 +0100
     1.2 +++ b/Admin/update-keywords	Wed Nov 25 15:21:41 2009 +0100
     1.3 @@ -12,7 +12,8 @@
     1.4  
     1.5  isabelle keywords \
     1.6    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
     1.7 -  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
     1.8 +  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-SMT.gz" \
     1.9 +  "$LOG/HOL-Statespace.gz"
    1.10  
    1.11  isabelle keywords -k ZF \
    1.12    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"