--- a/src/Pure/Tools/find_consts.ML Mon Nov 26 13:54:43 2012 +0100
+++ b/src/Pure/Tools/find_consts.ML Mon Nov 26 14:43:28 2012 +0100
@@ -136,7 +136,8 @@
in
val _ =
- Outer_Syntax.improper_command @{command_spec "find_consts"} "search constants by type pattern"
+ Outer_Syntax.improper_command @{command_spec "find_consts"}
+ "find constants by name/type patterns"
(Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion)
>> (fn spec => Toplevel.no_timing o
Toplevel.keep (fn state => find_consts (Toplevel.context_of state) spec)));