etc/isar-keywords.el
changeset 56935 63667a4ea7e2
parent 56804 38eaaa54cd6a
child 56943 a3abb5222fce
     1.1 --- a/etc/isar-keywords.el	Fri May 09 22:56:06 2014 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri May 09 23:00:18 2014 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4      "also"
     1.5      "apply"
     1.6      "apply_end"
     1.7 +    "approximate"
     1.8      "assume"
     1.9      "atom_decl"
    1.10      "attribute_setup"
    1.11 @@ -388,6 +389,7 @@
    1.12  (defconst isar-keywords-diag
    1.13    '("ML_command"
    1.14      "ML_val"
    1.15 +    "approximate"
    1.16      "cartouche"
    1.17      "class_deps"
    1.18      "code_deps"