diff -r e1d3fa78b8e1 -r e2511e6e5cbb etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue May 08 15:01:28 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Tue May 08 15:01:29 2007 +0200
@@ -42,6 +42,7 @@
     "code_class"
     "code_const"
     "code_datatype"
+    "code_deps"
     "code_gen"
     "code_instance"
     "code_library"
@@ -277,6 +278,7 @@
     "ML_command"
     "cd"
     "class_deps"
+    "code_deps"
     "code_gen"
     "code_thms"
     "commit"