etc/isar-keywords.el
changeset 24642 7865c239ba08
parent 24437 c2a76e8a3d54
child 24866 6e6d9e80ebb4
--- a/etc/isar-keywords.el	Tue Sep 18 18:53:12 2007 +0200
+++ b/etc/isar-keywords.el	Tue Sep 18 18:53:55 2007 +0200
@@ -157,6 +157,7 @@
     "print_locales"
     "print_methods"
     "print_noatp_rules"
+    "print_orders"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -351,6 +352,7 @@
     "print_locales"
     "print_methods"
     "print_noatp_rules"
+    "print_orders"
     "print_rules"
     "print_simpset"
     "print_statement"