etc/isar-keywords.el
changeset 19633 a6fad1e8bbd2
parent 19564 d3e2f532459a
child 19655 f10b141078e7
     1.1 --- a/etc/isar-keywords.el	Sat May 13 02:51:45 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat May 13 02:51:46 2006 +0200
     1.3 @@ -272,6 +272,7 @@
     1.4      "to"
     1.5      "transitions"
     1.6      "transrel"
     1.7 +    "unchecked"
     1.8      "uses"
     1.9      "where"))
    1.10