Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Mon, 14 Dec 2015 10:14:19 +0100
changeset 61843 1803599838a6
parent 61842 00b70452dc7f
child 61844 007d3b34080f
tuned message;
src/Pure/Isar/method.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/method.ML	Sun Dec 13 22:33:05 2015 +0100
+++ b/src/Pure/Isar/method.ML	Mon Dec 14 10:14:19 2015 +0100
@@ -741,7 +741,7 @@
       | bad =>
           if detect_closure_state st then NONE
           else
-            SOME (fn () => ("Excessive case names: " ^ commas_quote (map Token.content_of bad) ^
+            SOME (fn () => ("Excessive case name(s): " ^ commas_quote (map Token.content_of bad) ^
               Position.here (Position.set_range (Token.range_of bad)))))
       |> (fn SOME msg => Seq.single (Seq.Error msg)
            | NONE => goal_cases_tac (map Token.content_of names) (ctxt, st)))))
isabelle