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.
Admin/PLATFORMS
changeset 67088 89e82aed7813
parent 66911 d122c24a93d6
child 67235 759d4fb30bfc 
--- a/Admin/PLATFORMS	Thu Nov 23 17:03:27 2017 +0000
+++ b/Admin/PLATFORMS	Sat Nov 25 15:21:02 2017 +0100
@@ -33,9 +33,8 @@
 
   x86_64-linux      Ubuntu 12.04 LTS
 
-  x86_64-darwin     Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
-                    Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
-                    Mac OS X 10.11 El Capitan (?)
+  x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
+                    Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
                     macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
 
   x86_64-windows    Windows 7
isabelle