changeset 59936 | b8ffc3dc9e24 |
parent 59934 | b65c4370f831 |
child 60610 | f52b4b0c10c4 |
--- a/src/Pure/Tools/find_consts.ML Mon Apr 06 16:30:44 2015 +0200 +++ b/src/Pure/Tools/find_consts.ML Mon Apr 06 17:06:48 2015 +0200 @@ -151,7 +151,7 @@ |> #1; val _ = - Outer_Syntax.command @{command_spec "find_consts"} + Outer_Syntax.command @{command_keyword find_consts} "find constants by name / type patterns" (query >> (fn spec => Toplevel.keep (fn st =>