diff -r c85409ead923 -r 69e3bc394f09 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Apr 10 20:06:36 2013 +0200
+++ b/etc/isar-keywords.el	Wed Apr 10 20:58:01 2013 +0200
@@ -175,6 +175,7 @@
     "print_binds"
     "print_bnfs"
     "print_bundles"
+    "print_case_translations"
     "print_cases"
     "print_claset"
     "print_classes"
@@ -398,6 +399,7 @@
     "print_binds"
     "print_bnfs"
     "print_bundles"
+    "print_case_translations"
     "print_cases"
     "print_claset"
     "print_classes"