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 comments;
authorwenzelm
Thu, 22 Jul 2010 10:41:12 +0200
changeset 37904 332cd0197d34
parent 37903 b7ae269c0d68
child 37905 0cf799737f5f
tuned comments;
src/Pure/Concurrent/future.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/future.ML	Wed Jul 21 21:08:40 2010 +0200
+++ b/src/Pure/Concurrent/future.ML	Thu Jul 22 10:41:12 2010 +0200
@@ -3,6 +3,7 @@
 
 Future values, see also
 http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf
+http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf
 
 Notes:
isabelle