1.1 --- a/etc/isar-keywords-ZF.el	Sat Nov 11 14:52:25 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Nov 11 16:11:39 2006 +0100
     1.3 @@ -336,7 +336,7 @@
     1.4    '("theory"))
     1.5  
     1.6  (defconst isar-keywords-theory-switch
     1.7 -  '("context"))
     1.8 +  '())
     1.9  
    1.10  (defconst isar-keywords-theory-end
    1.11    '("end"))
    1.12 @@ -373,6 +373,7 @@
    1.13      "constdefs"
    1.14      "consts"
    1.15      "consts_code"
    1.16 +    "context"
    1.17      "datatype"
    1.18      "defaultsort"
    1.19      "definition"