1.1 --- a/etc/isar-keywords.el Sat Nov 14 18:15:21 2009 +0100
1.2 +++ b/etc/isar-keywords.el Sat Nov 14 18:16:13 2009 +0100
1.3 @@ -204,6 +204,7 @@
1.4 "refute_params"
1.5 "remove_thy"
1.6 "rep_datatype"
1.7 + "repdef"
1.8 "sect"
1.9 "section"
1.10 "setup"
1.11 @@ -298,6 +299,7 @@
1.12 "outputs"
1.13 "overloaded"
1.14 "permissive"
1.15 + "pervasive"
1.16 "post"
1.17 "pre"
1.18 "rename"
1.19 @@ -531,6 +533,7 @@
1.20 "pcpodef"
1.21 "recdef_tc"
1.22 "rep_datatype"
1.23 + "repdef"
1.24 "specification"
1.25 "subclass"
1.26 "sublocale"