changeset 56935 | 63667a4ea7e2 |
parent 56804 | 38eaaa54cd6a |
child 56943 | a3abb5222fce |
--- a/etc/isar-keywords.el Fri May 09 22:56:06 2014 +0200 +++ b/etc/isar-keywords.el Fri May 09 23:00:18 2014 +0200 @@ -28,6 +28,7 @@ "also" "apply" "apply_end" + "approximate" "assume" "atom_decl" "attribute_setup" @@ -388,6 +389,7 @@ (defconst isar-keywords-diag '("ML_command" "ML_val" + "approximate" "cartouche" "class_deps" "code_deps"