# HG changeset patch
# User wenzelm
# Date 1362759567 -3600
# Node ID 4d691437c0760b1c01f0d55851516ae7c4f409b1
# Parent  cac8c9a636b6334cda739d651260624eb13a5373
updated keywords (cf. 84d01fd733cf);

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"