etc/isar-keywords.el
changeset 16231 91c0a3e253b1
parent 16168 adb83939177f
child 16419 0c3db621bbbd
     1.1 --- a/etc/isar-keywords.el	Sat Jun 04 02:12:10 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat Jun 04 02:13:31 2005 +0200
     1.3 @@ -64,6 +64,8 @@
     1.4      "finalconsts"
     1.5      "finally"
     1.6      "fix"
     1.7 +    "fixrec"
     1.8 +    "fixpat"
     1.9      "from"
    1.10      "full_prf"
    1.11      "generate_code"
    1.12 @@ -352,6 +354,8 @@
    1.13      "extract"
    1.14      "extract_type"
    1.15      "finalconsts"
    1.16 +    "fixrec"
    1.17 +    "fixpat"
    1.18      "generate_code"
    1.19      "global"
    1.20      "hide"