etc/isar-keywords.el
changeset 20568 9b7f59c1bdfc
parent 20523 36a59e5d0039
child 20586 548fd4cd2eb3
--- a/etc/isar-keywords.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -309,6 +310,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"