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.
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
authorwenzelm
Tue, 04 Apr 2017 17:14:41 +0200
changeset 65369 27c1b5e952bd
parent 65368 7fb5aad28f38
child 65370 1324268c2f6a
child 65399 3f291f7a3646
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Tue Apr 04 16:18:53 2017 +0200
+++ b/Admin/PLATFORMS	Tue Apr 04 17:14:41 2017 +0200
@@ -33,11 +33,10 @@
   x86-linux         Ubuntu 12.04 LTS
   x86_64-linux      Ubuntu 12.04 LTS
 
-  x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30 MacBookPro6,2)
-                    Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
+  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 (?)
-                    macOS 10.12 Sierra (?)
+                    macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
 
   x86-windows       Windows 7
   x86_64-windows    Windows 7
isabelle