updated;
authorwenzelm
Fri Sep 28 16:15:26 2001 +0200 (2001-09-28)
changeset 116187067101463c0
parent 11617 9ab0792b2da4
child 11619 0b231e0fd7d7
updated;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Fri Sep 28 14:10:01 2001 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Sep 28 16:15:26 2001 +0200
     1.3 @@ -190,6 +190,7 @@
     1.4      "output"
     1.5      "outputs"
     1.6      "overloaded"
     1.7 +    "permissive"
     1.8      "post"
     1.9      "pre"
    1.10      "rename"