--- a/src/Pure/Tools/find_consts.ML Wed May 07 10:13:31 2014 +0200
+++ b/src/Pure/Tools/find_consts.ML Wed May 07 10:24:32 2014 +0200
@@ -113,7 +113,9 @@
|> sort (prod_ord (rev_order o int_ord) (string_ord o pairself fst))
|> map (apsnd fst o snd);
in
- Pretty.big_list "searched for:" (map pretty_criterion raw_criteria) ::
+ Pretty.block
+ (Pretty.keyword1 "find_consts" :: Pretty.brk 1 :: Pretty.str "query:" :: Pretty.fbrk ::
+ Pretty.fbreaks (map pretty_criterion raw_criteria)) ::
Pretty.str "" ::
Pretty.str
(if null matches