diff -r 9ddc3bf9f5df -r ca237b9e4542 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Aug 28 11:15:14 2013 +0200
+++ b/etc/isar-keywords.el	Wed Aug 28 14:37:35 2013 +0200
@@ -195,10 +195,10 @@
     "print_methods"
     "print_options"
     "print_orders"
+    "print_quot_maps"
     "print_quotconsts"
     "print_quotients"
     "print_quotientsQ3"
-    "print_quotmaps"
     "print_quotmapsQ3"
     "print_rules"
     "print_simpset"
@@ -422,10 +422,10 @@
     "print_methods"
     "print_options"
     "print_orders"
+    "print_quot_maps"
     "print_quotconsts"
     "print_quotients"
     "print_quotientsQ3"
-    "print_quotmaps"
     "print_quotmapsQ3"
     "print_rules"
     "print_simpset"