# HG changeset patch # User berghofe # Date 1316779730 -7200 # Node ID 39519609abe0c35e6beab7fed768a2bcf0e1d96b # Parent 9c2568c0a504114e412d727407eddea73e6e7f15 Include keywords print_coercions and print_coercion_maps diff -r 9c2568c0a504 -r 39519609abe0 etc/isar-keywords.el --- a/etc/isar-keywords.el Wed Aug 17 19:49:07 2011 +0200 +++ b/etc/isar-keywords.el Fri Sep 23 14:08:50 2011 +0200 @@ -169,6 +169,8 @@ "print_classes" "print_codeproc" "print_codesetup" + "print_coercion_maps" + "print_coercions" "print_commands" "print_configs" "print_context" @@ -377,6 +379,8 @@ "print_classes" "print_codeproc" "print_codesetup" + "print_coercion_maps" + "print_coercions" "print_commands" "print_configs" "print_context"