# HG changeset patch
# User wenzelm
# Date 1365620281 -7200
# Node ID 69e3bc394f09c9af4d2d5a7d176f80439e890729
# Parent  c85409ead923e9c94ab34f1f7654e20a34219ff7
updated keywords;

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"