changeset 22864 | e2511e6e5cbb |
parent 22486 | d3b6cb2306b6 |
child 23692 | b784849811fc |
1.1 --- a/etc/isar-keywords-ZF.el Tue May 08 15:01:28 2007 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Tue May 08 15:01:29 2007 +0200 1.3 @@ -42,6 +42,7 @@ 1.4 "code_class" 1.5 "code_const" 1.6 "code_datatype" 1.7 + "code_deps" 1.8 "code_gen" 1.9 "code_instance" 1.10 "code_library" 1.11 @@ -277,6 +278,7 @@ 1.12 "ML_command" 1.13 "cd" 1.14 "class_deps" 1.15 + "code_deps" 1.16 "code_gen" 1.17 "code_thms" 1.18 "commit"