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"