etc/isar-keywords.el
changeset 24120 2ce3945228d8
parent 23992 bf352c4c499b
child 24249 1f60b45c5f97
     1.1 --- a/etc/isar-keywords.el	Wed Aug 01 17:03:28 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Aug 01 18:05:43 2007 +0200
     1.3 @@ -138,6 +138,7 @@
     1.4      "print_abbrevs"
     1.5      "print_antiquotations"
     1.6      "print_ast_translation"
     1.7 +    "print_atp_rules"
     1.8      "print_attributes"
     1.9      "print_binds"
    1.10      "print_cases"
    1.11 @@ -145,6 +146,7 @@
    1.12      "print_classes"
    1.13      "print_codesetup"
    1.14      "print_commands"
    1.15 +    "print_configs"
    1.16      "print_context"
    1.17      "print_drafts"
    1.18      "print_facts"
    1.19 @@ -153,7 +155,6 @@
    1.20      "print_locale"
    1.21      "print_locales"
    1.22      "print_methods"
    1.23 -    "print_options"
    1.24      "print_rules"
    1.25      "print_simpset"
    1.26      "print_statement"
    1.27 @@ -331,6 +332,7 @@
    1.28      "prf"
    1.29      "print_abbrevs"
    1.30      "print_antiquotations"
    1.31 +    "print_atp_rules"
    1.32      "print_attributes"
    1.33      "print_binds"
    1.34      "print_cases"
    1.35 @@ -338,6 +340,7 @@
    1.36      "print_classes"
    1.37      "print_codesetup"
    1.38      "print_commands"
    1.39 +    "print_configs"
    1.40      "print_context"
    1.41      "print_drafts"
    1.42      "print_facts"
    1.43 @@ -346,7 +349,6 @@
    1.44      "print_locale"
    1.45      "print_locales"
    1.46      "print_methods"
    1.47 -    "print_options"
    1.48      "print_rules"
    1.49      "print_simpset"
    1.50      "print_statement"