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 62585 5d4ed917450d
parent 62584 6cd36a0d2a28
child 62665 a78ce0c6e191 
--- a/src/Pure/ROOT	Thu Mar 10 09:50:53 2016 +0100
+++ b/src/Pure/ROOT	Thu Mar 10 09:56:29 2016 +0100
@@ -12,7 +12,6 @@
     "Concurrent/multithreading.ML"
     "Concurrent/par_exn.ML"
     "Concurrent/par_list.ML"
-    "Concurrent/random.ML"
     "Concurrent/single_assignment.ML"
     "Concurrent/standard_thread.ML"
     "Concurrent/synchronized.ML"
@@ -45,6 +44,7 @@
     "General/print_mode.ML"
     "General/properties.ML"
     "General/queue.ML"
+    "General/random.ML"
     "General/same.ML"
     "General/scan.ML"
     "General/secure.ML"
isabelle