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
Fri, 23 Sep 2005 22:21:55 +0200
changeset 17615 3c5b158be33c
parent 17614 37ee526db497
child 17616 f526e2b9fe9e
tuned msg;
TFL/post.ML file | annotate | diff | comparison | revisions 
--- a/TFL/post.ML	Fri Sep 23 22:21:54 2005 +0200
+++ b/TFL/post.ML	Fri Sep 23 22:21:55 2005 +0200
@@ -216,7 +216,7 @@
       (* if there's an error, pretend nothing happened with this definition 
          We should probably print something out so that the user knows...? *)
       handle ERROR_MESSAGE s => 
-             (writeln ("WARNING:post.ML:solve_eq: " ^ s); map (fn x => (x,i)) splitths); 
+             (warning ("recdef (solve_eq): " ^ s); map (fn x => (x,i)) splitths);
 in
 fun derive_init_eqs sgn rules eqs = 
     let
isabelle