etc/isar-keywords.el
changeset 21302 4c8f3dfc7124
parent 21203 8154a62bb498
child 21732 4d4cde714500
     1.1 --- a/etc/isar-keywords.el	Sat Nov 11 14:52:25 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Nov 11 16:11:39 2006 +0100
     1.3 @@ -375,7 +375,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 @@ -413,6 +413,7 @@
    1.13      "constdefs"
    1.14      "consts"
    1.15      "consts_code"
    1.16 +    "context"
    1.17      "datatype"
    1.18      "defaultsort"
    1.19      "defer_recdef"