changeset 27828 | edafacb690a3 |
parent 27821 | 0ead8c2428f9 |
child 27867 | 6e6a159671d4 |
--- a/src/Pure/Isar/proof_context.ML Mon Aug 11 17:37:48 2008 +0200 +++ b/src/Pure/Isar/proof_context.ML Mon Aug 11 18:37:49 2008 +0200 @@ -373,7 +373,7 @@ | NONE => Pretty.mark Markup.var (Pretty.str s)); fun class_markup _ c = (* FIXME authentic name *) - Pretty.mark (Markup.classN, []) (Pretty.str c); + Pretty.mark (Markup.tclassN, []) (Pretty.str c); fun plain_markup m _ s = Pretty.mark m (Pretty.str s);