diff -r 5e5ca36692b3 -r 9caab698dbe4 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Apr 03 14:09:37 2012 +0200
+++ b/etc/isar-keywords.el	Tue Apr 03 16:26:48 2012 +0200
@@ -190,7 +190,9 @@
     "print_orders"
     "print_quotconsts"
     "print_quotients"
+    "print_quotientsQ3"
     "print_quotmaps"
+    "print_quotmapsQ3"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -403,7 +405,9 @@
     "print_orders"
     "print_quotconsts"
     "print_quotients"
+    "print_quotientsQ3"
     "print_quotmaps"
+    "print_quotmapsQ3"
     "print_rules"
     "print_simpset"
     "print_statement"