changeset 47845 | 7ca3608146d8 |
parent 47812 | cda018294515 |
child 47928 | 12423b36fcc4 |
1.1 --- a/etc/isar-keywords-ZF.el Fri Mar 16 22:31:19 2012 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Fri Mar 16 22:48:38 2012 +0100 1.3 @@ -61,7 +61,6 @@ 1.4 "exit" 1.5 "extract" 1.6 "extract_type" 1.7 - "finalconsts" 1.8 "finally" 1.9 "find_consts" 1.10 "find_theorems" 1.11 @@ -359,7 +358,6 @@ 1.12 "defs" 1.13 "extract" 1.14 "extract_type" 1.15 - "finalconsts" 1.16 "hide_class" 1.17 "hide_const" 1.18 "hide_fact"