changeset 16102 | c5f6726d9bb1 |
parent 16074 | 9e569163ba8c |
child 16168 | adb83939177f |
--- a/src/Pure/Isar/isar_syn.ML Fri May 27 13:51:32 2005 +0200 +++ b/src/Pure/Isar/isar_syn.ML Fri May 27 16:24:48 2005 +0200 @@ -598,7 +598,7 @@ val print_registrationsP = OuterSyntax.improper_command "print_interps" - "print interpretations of named locale in this theory" K.diag + "print interpretations of named locale" K.diag (P.xname >> (Toplevel.no_timing oo IsarCmd.print_registrations)); val print_attributesP =