changeset 29819 | 29154e67731d |
parent 29607 | 2db3537c3535 |
child 30463 | f1cb00030d4f |
1.1 --- a/etc/isar-keywords-ZF.el Thu Feb 12 12:35:45 2009 -0800 1.2 +++ b/etc/isar-keywords-ZF.el Fri Feb 13 07:53:38 2009 +1100 1.3 @@ -73,6 +73,7 @@ 1.4 "extract_type" 1.5 "finalconsts" 1.6 "finally" 1.7 + "find_consts" 1.8 "find_theorems" 1.9 "fix" 1.10 "from" 1.11 @@ -280,6 +281,7 @@ 1.12 "disable_pr" 1.13 "display_drafts" 1.14 "enable_pr" 1.15 + "find_consts" 1.16 "find_theorems" 1.17 "full_prf" 1.18 "header"