# HG changeset patch # User wenzelm # Date 1007517525 -3600 # Node ID a90156701dade7e1fbc00cf5901f20cc2b3f446a # Parent 108cdda23ab3f0b4ad9c647ef087457c506a1f56 updated; diff -r 108cdda23ab3 -r a90156701dad etc/isar-keywords-ZF.el --- a/etc/isar-keywords-ZF.el Wed Dec 05 02:58:04 2001 +0100 +++ b/etc/isar-keywords-ZF.el Wed Dec 05 02:58:45 2001 +0100 @@ -104,6 +104,7 @@ "print_locale" "print_locales" "print_methods" + "print_rules" "print_simpset" "print_syntax" "print_tcset" @@ -238,6 +239,7 @@ "print_locale" "print_locales" "print_methods" + "print_rules" "print_simpset" "print_syntax" "print_tcset" diff -r 108cdda23ab3 -r a90156701dad etc/isar-keywords.el --- a/etc/isar-keywords.el Wed Dec 05 02:58:04 2001 +0100 +++ b/etc/isar-keywords.el Wed Dec 05 02:58:45 2001 +0100 @@ -106,6 +106,7 @@ "print_locale" "print_locales" "print_methods" + "print_rules" "print_simpset" "print_syntax" "print_theorems" @@ -260,6 +261,7 @@ "print_locale" "print_locales" "print_methods" + "print_rules" "print_simpset" "print_syntax" "print_theorems"