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 msg;
authorwenzelm
Mon, 04 May 1998 21:05:14 +0200
changeset 4892 0f80e924009d
parent 4891 19ff46cd2bad
child 4893 df9d6eef16d5
tuned msg;
src/Pure/sign.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/sign.ML	Mon May 04 13:48:47 1998 +0200
+++ b/src/Pure/sign.ML	Mon May 04 21:05:14 1998 +0200
@@ -264,7 +264,7 @@
 fun of_theory sg = "\nof theory " ^ str_of_sg sg;
 
 fun err_method name kind =
-  error ("Error while invoking " ^ quote kind ^ " method " ^ name);
+  error ("Error while invoking " ^ quote kind ^ " " ^ name ^ " method");
 
 fun err_dup_init sg kind =
   error ("Duplicate initialization of " ^ quote kind ^ " data" ^ of_theory sg);
isabelle