etc/isar-keywords.el
changeset 55033 8e8243975860
parent 54896 f6f455df1034
child 55109 ecff9e26360c
     1.1 --- a/etc/isar-keywords.el	Fri Jan 17 20:51:36 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Jan 18 19:15:12 2014 +0100
     1.3 @@ -38,6 +38,7 @@
     1.4      "bundle"
     1.5      "by"
     1.6      "cannot_undo"
     1.7 +    "cartouche"
     1.8      "case"
     1.9      "case_of_simps"
    1.10      "cd"
    1.11 @@ -389,6 +390,7 @@
    1.12  (defconst isar-keywords-diag
    1.13    '("ML_command"
    1.14      "ML_val"
    1.15 +    "cartouche"
    1.16      "class_deps"
    1.17      "code_deps"
    1.18      "code_thms"