1.1 --- a/Admin/update-keywords Wed Jun 02 14:55:37 2010 +0200
1.2 +++ b/Admin/update-keywords Wed Jun 02 15:36:24 2010 +0200
1.3 @@ -12,8 +12,7 @@
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-SMT.gz" \
1.8 - "$LOG/HOL-Statespace.gz"
1.9 + "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$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"