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 60993 531a48ae1425
parent 60962 faa452d8e265
child 61268 abe08fb15a12 
--- a/src/Pure/ROOT	Thu Aug 20 21:08:47 2015 +0200
+++ b/src/Pure/ROOT	Thu Aug 20 21:14:58 2015 +0200
@@ -34,7 +34,7 @@
     "ML-Systems/universal.ML"
     "ML-Systems/unsynchronized.ML"
     "ML-Systems/use_context.ML"
-    "ML-Systems/windows_polyml.ML"
+    "ML-Systems/windows_path.ML"
 
 session Pure =
   global_theories Pure
@@ -70,7 +70,7 @@
     "ML-Systems/universal.ML"
     "ML-Systems/unsynchronized.ML"
     "ML-Systems/use_context.ML"
-    "ML-Systems/windows_polyml.ML"
+    "ML-Systems/windows_path.ML"
 
     "Concurrent/bash.ML"
     "Concurrent/bash_sequential.ML"
isabelle