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.
more specific hardware information: relevant for ultimate Mac OS X version;
authorwenzelm
Wed, 26 Oct 2016 15:14:17 +0200
changeset 64406 492de9062cd2
parent 64405 81bac77929d9
child 64407 5c5b9d945625
more specific hardware information: relevant for ultimate Mac OS X version;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Wed Oct 26 14:52:41 2016 +0200
+++ b/Admin/PLATFORMS	Wed Oct 26 15:14:17 2016 +0200
@@ -33,9 +33,9 @@
   x86-linux         Ubuntu 12.04 LTS
   x86_64-linux      Ubuntu 12.04 LTS
 
-  x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
-                    Mac OS X 10.9 Mavericks (macbroy2)
-                    Mac OS X 10.10 Yosemite (macbroy31)
+  x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30 MacBookPro6,2)
+                    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 (?)
                     macOS 10.12 Sierra (?)
isabelle