updated keywords (cf. 84d01fd733cf);
authorwenzelm
Fri Mar 08 17:19:27 2013 +0100 (2013-03-08)
changeset 513814d691437c076
parent 51380 cac8c9a636b6
child 51382 51957d006677
updated keywords (cf. 84d01fd733cf);
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Fri Mar 08 14:15:39 2013 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Mar 08 17:19:27 2013 +0100
     1.3 @@ -337,6 +337,7 @@
     1.4      "open"
     1.5      "output"
     1.6      "overloaded"
     1.7 +    "parametric"
     1.8      "permissive"
     1.9      "pervasive"
    1.10      "rep_compat"