Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/goal_display.ML
changeset 50543 42bbe637be54
parent 50537 08ce81aeeacc
child 51958 bca32217b304 
--- a/src/Pure/goal_display.ML	Sat Dec 15 12:16:16 2012 +0100
+++ b/src/Pure/goal_display.ML	Sat Dec 15 12:28:37 2012 +0100
@@ -130,7 +130,7 @@
     val (As, B) = Logic.strip_horn prop;
     val ngoals = length As;
   in
-    (if show_main_goal then [prt_term B] else []) @
+    (if show_main_goal then [Pretty.mark Markup.goal (prt_term B)] else []) @
      (if ngoals = 0 then [Pretty.str "No subgoals!"]
       else if ngoals > goals_limit then
         pretty_subgoals (take goals_limit As) @
isabelle