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.
improved msg;
authorwenzelm
Fri, 05 Feb 1999 21:03:33 +0100
changeset 6244 daecd68ecc8c
parent 6243 fb293dfa2df3
child 6245 ebce4ebba491
improved msg;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Fri Feb 05 21:03:06 1999 +0100
+++ b/src/Pure/Isar/toplevel.ML	Fri Feb 05 21:03:33 1999 +0100
@@ -343,7 +343,7 @@
 fun excursion trs =
   (case excur trs (State []) of
     State [] => ()
-  | _ => raise ERROR_MESSAGE "Pending blocks at end of excursion");
+  | _ => raise ERROR_MESSAGE "Open block(s) pending at end of input");
isabelle