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