Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Concurrent/future.ML
changeset 51990 cc66addbba6d
parent 51661 92e58b76dbb1
child 52558 271663ddf289 
--- a/src/Pure/Concurrent/future.ML	Tue May 14 20:32:10 2013 +0200
+++ b/src/Pure/Concurrent/future.ML	Tue May 14 20:46:09 2013 +0200
@@ -193,7 +193,7 @@
       val active = count_workers Working;
       val waiting = count_workers Waiting;
       val stats =
-       [("now", signed_string_of_real (Time.toReal (Time.now ()))),
+       [("now", Markup.print_real (Time.toReal (Time.now ()))),
         ("tasks_proof", Markup.print_int (! forked_proofs)),
         ("tasks_ready", Markup.print_int ready),
         ("tasks_pending", Markup.print_int pending),
isabelle