etc/isar-keywords.el
changeset 18380 9668764224a7
parent 18332 e883d1332662
child 18519 b963eb11b3b4
     1.1 --- a/etc/isar-keywords.el	Fri Dec 09 15:25:29 2005 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Dec 09 15:25:52 2005 +0100
     1.3 @@ -216,13 +216,13 @@
     1.4      "compose"
     1.5      "concl"
     1.6      "congs"
     1.7 +    "constants"
     1.8      "constrains"
     1.9      "contains"
    1.10      "defined_by"
    1.11      "defines"
    1.12      "depending_on"
    1.13      "distinct"
    1.14 -    "extracting"
    1.15      "file"
    1.16      "files"
    1.17      "fixes"