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/ROOT
changeset 59172 d1c500e0a722
parent 59064 a8bcb5a446c8
child 59470 31d810570879 
--- a/src/Pure/ROOT	Sun Dec 21 22:49:40 2014 +0100
+++ b/src/Pure/ROOT	Mon Dec 22 14:33:53 2014 +0100
@@ -62,6 +62,7 @@
     "Concurrent/par_exn.ML"
     "Concurrent/par_list.ML"
     "Concurrent/par_list_sequential.ML"
+    "Concurrent/random.ML"
     "Concurrent/simple_thread.ML"
     "Concurrent/single_assignment.ML"
     "Concurrent/single_assignment_sequential.ML"
isabelle