added atom keyword
authorhaftmann
Thu Dec 29 16:10:58 2005 +0100 (2005-12-29)
changeset 18520428c79932b53
parent 18519 b963eb11b3b4
child 18521 ee14a65fe764
added atom keyword
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Dec 29 15:31:27 2005 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Dec 29 16:10:58 2005 +0100
     1.3 @@ -199,6 +199,7 @@
     1.4    '("advanced"
     1.5      "and"
     1.6      "assumes"
     1.7 +    "atom"
     1.8      "attach"
     1.9      "begin"
    1.10      "binder"
     2.1 --- a/etc/isar-keywords.el	Thu Dec 29 15:31:27 2005 +0100
     2.2 +++ b/etc/isar-keywords.el	Thu Dec 29 16:10:58 2005 +0100
     2.3 @@ -214,6 +214,7 @@
     2.4      "advanced"
     2.5      "and"
     2.6      "assumes"
     2.7 +    "atom"
     2.8      "attach"
     2.9      "begin"
    2.10      "binder"