changeset 52828 | 69e3bc394f09 |
parent 52722 | fcd5af4aac2b |
child 52926 | 75b92ff1d853 |
1.1 --- a/etc/isar-keywords.el Wed Apr 10 20:06:36 2013 +0200 1.2 +++ b/etc/isar-keywords.el Wed Apr 10 20:58:01 2013 +0200 1.3 @@ -175,6 +175,7 @@ 1.4 "print_binds" 1.5 "print_bnfs" 1.6 "print_bundles" 1.7 + "print_case_translations" 1.8 "print_cases" 1.9 "print_claset" 1.10 "print_classes" 1.11 @@ -398,6 +399,7 @@ 1.12 "print_binds" 1.13 "print_bnfs" 1.14 "print_bundles" 1.15 + "print_case_translations" 1.16 "print_cases" 1.17 "print_claset" 1.18 "print_classes"