changeset 13802 | ebed89f74e59 |
parent 13407 | d128b5915f6b |
child 14109 | 7aa5b79daffb |
1.1 --- a/etc/isar-keywords.el Mon Feb 03 11:07:09 2003 +0100 1.2 +++ b/etc/isar-keywords.el Mon Feb 03 11:08:10 2003 +0100 1.3 @@ -105,6 +105,7 @@ 1.4 "print_context" 1.5 "print_facts" 1.6 "print_induct_rules" 1.7 + "print_intros" 1.8 "print_locale" 1.9 "print_locales" 1.10 "print_methods" 1.11 @@ -264,6 +265,7 @@ 1.12 "print_context" 1.13 "print_facts" 1.14 "print_induct_rules" 1.15 + "print_intros" 1.16 "print_locale" 1.17 "print_locales" 1.18 "print_methods"