etc/isar-keywords.el
changeset 20568 9b7f59c1bdfc
parent 20523 36a59e5d0039
child 20586 548fd4cd2eb3
     1.1 --- a/etc/isar-keywords.el	Mon Sep 18 16:21:24 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Sep 18 19:12:40 2006 +0200
     1.3 @@ -39,6 +39,7 @@
     1.4      "cd"
     1.5      "chapter"
     1.6      "class"
     1.7 +    "class_deps"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11 @@ -309,6 +310,7 @@
    1.12      "ML_command"
    1.13      "ProofGeneral\\.call_atp"
    1.14      "cd"
    1.15 +    "class_deps"
    1.16      "commit"
    1.17      "disable_pr"
    1.18      "display_drafts"