Admin/update-keywords
changeset 37284 a1b0201584cd
parent 33898 2ca2693a8c10
child 37785 173667d73115
--- a/Admin/update-keywords	Wed Jun 02 14:55:37 2010 +0200
+++ b/Admin/update-keywords	Wed Jun 02 15:36:24 2010 +0200
@@ -12,8 +12,7 @@
 
 isabelle keywords \
   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
-  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-SMT.gz" \
-  "$LOG/HOL-Statespace.gz"
+  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
 
 isabelle keywords -k ZF \
   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"