--- a/src/Pure/goal_display.ML Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/goal_display.ML Mon Nov 28 22:05:32 2011 +0100
@@ -114,8 +114,9 @@
fun pretty_list _ _ [] = []
| pretty_list name prt lst = [Pretty.big_list name (map prt lst)];
- fun pretty_subgoal (n, A) = Pretty.markup Markup.subgoal
- [Pretty.str (" " ^ string_of_int n ^ ". "), prt_term A];
+ fun pretty_subgoal (n, A) =
+ Pretty.markup Isabelle_Markup.subgoal
+ [Pretty.str (" " ^ string_of_int n ^ ". "), prt_term A];
fun pretty_subgoals As = map pretty_subgoal (1 upto length As ~~ As);
val pretty_ffpairs = pretty_list "flex-flex pairs:" (pretty_flexpair ctxt);