1.1 --- a/etc/isar-keywords.el Wed Apr 28 15:17:13 2010 +0200
1.2 +++ b/etc/isar-keywords.el Wed Apr 28 15:42:10 2010 +0200
1.3 @@ -61,6 +61,7 @@
1.4 "code_modulename"
1.5 "code_monad"
1.6 "code_pred"
1.7 + "code_reflect"
1.8 "code_reserved"
1.9 "code_thms"
1.10 "code_type"
1.11 @@ -288,10 +289,12 @@
1.12 "congs"
1.13 "constrains"
1.14 "contains"
1.15 + "datatypes"
1.16 "defines"
1.17 "file"
1.18 "fixes"
1.19 "for"
1.20 + "functions"
1.21 "hide_action"
1.22 "hints"
1.23 "identifier"
1.24 @@ -466,6 +469,7 @@
1.25 "code_module"
1.26 "code_modulename"
1.27 "code_monad"
1.28 + "code_reflect"
1.29 "code_reserved"
1.30 "code_type"
1.31 "coinductive"