diff -r b49366215417 -r 8e8243975860 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Jan 17 20:51:36 2014 +0100
+++ b/etc/isar-keywords.el	Sat Jan 18 19:15:12 2014 +0100
@@ -38,6 +38,7 @@
     "bundle"
     "by"
     "cannot_undo"
+    "cartouche"
     "case"
     "case_of_simps"
     "cd"
@@ -389,6 +390,7 @@
 (defconst isar-keywords-diag
   '("ML_command"
     "ML_val"
+    "cartouche"
     "class_deps"
     "code_deps"
     "code_thms"