changeset 18380 | 9668764224a7 |
parent 18332 | e883d1332662 |
child 18519 | b963eb11b3b4 |
--- a/etc/isar-keywords-ZF.el Fri Dec 09 15:25:29 2005 +0100 +++ b/etc/isar-keywords-ZF.el Fri Dec 09 15:25:52 2005 +0100 @@ -201,6 +201,7 @@ "case_eqns" "con_defs" "concl" + "constants" "constrains" "contains" "defined_by" @@ -208,7 +209,6 @@ "depending_on" "domains" "elimination" - "extracting" "file" "files" "fixes"