updated keywords;
authorwenzelm
Sat May 25 15:00:53 2013 +0200 (2013-05-25)
changeset 52142348aed032cda
parent 52139 40fe6b80b481
child 52143 36ffe23b25f8
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Sat May 25 13:59:08 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat May 25 15:00:53 2013 +0200
     1.3 @@ -52,11 +52,13 @@
     1.4      "code_const"
     1.5      "code_datatype"
     1.6      "code_deps"
     1.7 +    "code_identifier"
     1.8      "code_include"
     1.9      "code_instance"
    1.10      "code_modulename"
    1.11      "code_monad"
    1.12      "code_pred"
    1.13 +    "code_printing"
    1.14      "code_reflect"
    1.15      "code_reserved"
    1.16      "code_thms"
    1.17 @@ -309,7 +311,11 @@
    1.18      "begin"
    1.19      "binder"
    1.20      "checking"
    1.21 +    "class_instance"
    1.22 +    "class_relation"
    1.23 +    "code_module"
    1.24      "congs"
    1.25 +    "constant"
    1.26      "constrains"
    1.27      "datatypes"
    1.28      "defaults"
    1.29 @@ -345,6 +351,8 @@
    1.30      "rep_compat"
    1.31      "shows"
    1.32      "structure"
    1.33 +    "type_class"
    1.34 +    "type_constructor"
    1.35      "unchecked"
    1.36      "unsafe"
    1.37      "where"))
    1.38 @@ -487,10 +495,12 @@
    1.39      "code_class"
    1.40      "code_const"
    1.41      "code_datatype"
    1.42 +    "code_identifier"
    1.43      "code_include"
    1.44      "code_instance"
    1.45      "code_modulename"
    1.46      "code_monad"
    1.47 +    "code_printing"
    1.48      "code_reflect"
    1.49      "code_reserved"
    1.50      "code_type"