1.1 --- a/etc/isar-keywords.el Wed Oct 24 19:46:00 2007 +0200
1.2 +++ b/etc/isar-keywords.el Wed Oct 24 19:46:01 2007 +0200
1.3 @@ -1,6 +1,6 @@
1.4 ;;
1.5 ;; Keyword classification tables for Isabelle/Isar.
1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal.
1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
1.9 ;;
1.10 ;; $Id$
1.11 @@ -199,6 +199,7 @@
1.12 "sledgehammer"
1.13 "sorry"
1.14 "specification"
1.15 + "statespace"
1.16 "subclass"
1.17 "subsect"
1.18 "subsection"
1.19 @@ -479,6 +480,7 @@
1.20 "rep_datatype"
1.21 "setup"
1.22 "simproc_setup"
1.23 + "statespace"
1.24 "syntax"
1.25 "text"
1.26 "text_raw"