--- a/etc/isar-keywords.el Sat May 25 13:59:08 2013 +0200
+++ b/etc/isar-keywords.el Sat May 25 15:00:53 2013 +0200
@@ -52,11 +52,13 @@
"code_const"
"code_datatype"
"code_deps"
+ "code_identifier"
"code_include"
"code_instance"
"code_modulename"
"code_monad"
"code_pred"
+ "code_printing"
"code_reflect"
"code_reserved"
"code_thms"
@@ -309,7 +311,11 @@
"begin"
"binder"
"checking"
+ "class_instance"
+ "class_relation"
+ "code_module"
"congs"
+ "constant"
"constrains"
"datatypes"
"defaults"
@@ -345,6 +351,8 @@
"rep_compat"
"shows"
"structure"
+ "type_class"
+ "type_constructor"
"unchecked"
"unsafe"
"where"))
@@ -487,10 +495,12 @@
"code_class"
"code_const"
"code_datatype"
+ "code_identifier"
"code_include"
"code_instance"
"code_modulename"
"code_monad"
+ "code_printing"
"code_reflect"
"code_reserved"
"code_type"