1.1 --- a/Admin/update-keywords Mon Jul 12 22:17:31 2010 +0200
1.2 +++ b/Admin/update-keywords Mon Jul 12 22:35:41 2010 +0200
1.3 @@ -12,7 +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-Statespace.gz"
1.8 + "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
1.9
1.10 isabelle keywords -k ZF \
1.11 "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"