diff -r cac8c9a636b6 -r 4d691437c076 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Mar 08 14:15:39 2013 +0100
+++ b/etc/isar-keywords.el	Fri Mar 08 17:19:27 2013 +0100
@@ -337,6 +337,7 @@
     "open"
     "output"
     "overloaded"
+    "parametric"
     "permissive"
     "pervasive"
     "rep_compat"