changeset 18380 | 9668764224a7 |
parent 18332 | e883d1332662 |
child 18519 | b963eb11b3b4 |
1.1 --- a/etc/isar-keywords-ZF.el Fri Dec 09 15:25:29 2005 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Fri Dec 09 15:25:52 2005 +0100 1.3 @@ -201,6 +201,7 @@ 1.4 "case_eqns" 1.5 "con_defs" 1.6 "concl" 1.7 + "constants" 1.8 "constrains" 1.9 "contains" 1.10 "defined_by" 1.11 @@ -208,7 +209,6 @@ 1.12 "depending_on" 1.13 "domains" 1.14 "elimination" 1.15 - "extracting" 1.16 "file" 1.17 "files" 1.18 "fixes"