1.1 --- a/etc/isar-keywords.el Fri Oct 05 23:04:17 2007 +0200
1.2 +++ b/etc/isar-keywords.el Sat Oct 06 16:41:22 2007 +0200
1.3 @@ -42,6 +42,7 @@
1.4 "code_const"
1.5 "code_datatype"
1.6 "code_deps"
1.7 + "code_exception"
1.8 "code_instance"
1.9 "code_library"
1.10 "code_module"
1.11 @@ -268,6 +269,7 @@
1.12 "internals"
1.13 "is"
1.14 "lazy"
1.15 + "local_syntax"
1.16 "module_name"
1.17 "monos"
1.18 "morphisms"
1.19 @@ -407,6 +409,7 @@
1.20 "code_class"
1.21 "code_const"
1.22 "code_datatype"
1.23 + "code_exception"
1.24 "code_instance"
1.25 "code_library"
1.26 "code_module"