1.1 --- a/etc/isar-keywords-ZF.el Sat Nov 14 18:15:21 2009 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Sat Nov 14 18:16:13 2009 +0100
1.3 @@ -237,6 +237,7 @@
1.4 "open"
1.5 "output"
1.6 "overloaded"
1.7 + "pervasive"
1.8 "recursor_eqns"
1.9 "shows"
1.10 "structure"
2.1 --- a/etc/isar-keywords.el Sat Nov 14 18:15:21 2009 +0100
2.2 +++ b/etc/isar-keywords.el Sat Nov 14 18:16:13 2009 +0100
2.3 @@ -204,6 +204,7 @@
2.4 "refute_params"
2.5 "remove_thy"
2.6 "rep_datatype"
2.7 + "repdef"
2.8 "sect"
2.9 "section"
2.10 "setup"
2.11 @@ -298,6 +299,7 @@
2.12 "outputs"
2.13 "overloaded"
2.14 "permissive"
2.15 + "pervasive"
2.16 "post"
2.17 "pre"
2.18 "rename"
2.19 @@ -531,6 +533,7 @@
2.20 "pcpodef"
2.21 "recdef_tc"
2.22 "rep_datatype"
2.23 + "repdef"
2.24 "specification"
2.25 "subclass"
2.26 "sublocale"