etc/isar-keywords.el
changeset 42356 e8777e3ea6ef
parent 41564 1cbf33a4406a
child 43020 abb5d1f907e4
     1.1 --- a/etc/isar-keywords.el	Thu Apr 14 15:04:42 2011 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Apr 15 15:33:57 2011 +0200
     1.3 @@ -227,6 +227,7 @@
     1.4      "spark_open"
     1.5      "spark_proof_functions"
     1.6      "spark_status"
     1.7 +    "spark_types"
     1.8      "spark_vc"
     1.9      "specification"
    1.10      "statespace"
    1.11 @@ -520,6 +521,7 @@
    1.12      "spark_end"
    1.13      "spark_open"
    1.14      "spark_proof_functions"
    1.15 +    "spark_types"
    1.16      "statespace"
    1.17      "syntax"
    1.18      "syntax_declaration"