etc/isar-keywords.el
changeset 43020 abb5d1f907e4
parent 42356 e8777e3ea6ef
child 44231 f9799971ca97
     1.1 --- a/etc/isar-keywords.el	Fri May 27 10:30:08 2011 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri May 27 10:30:08 2011 +0200
     1.3 @@ -253,6 +253,7 @@
     1.4      "thy_deps"
     1.5      "translations"
     1.6      "try"
     1.7 +    "try_methods"
     1.8      "txt"
     1.9      "txt_raw"
    1.10      "typ"
    1.11 @@ -411,6 +412,7 @@
    1.12      "thm_deps"
    1.13      "thy_deps"
    1.14      "try"
    1.15 +    "try_methods"
    1.16      "typ"
    1.17      "unused_thms"
    1.18      "value"