--- a/etc/isar-keywords.el Fri Dec 09 15:25:29 2005 +0100
+++ b/etc/isar-keywords.el Fri Dec 09 15:25:52 2005 +0100
@@ -216,13 +216,13 @@
"compose"
"concl"
"congs"
+ "constants"
"constrains"
"contains"
"defined_by"
"defines"
"depending_on"
"distinct"
- "extracting"
"file"
"files"
"fixes"