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.
speculative support for latest Mac OS X versions -- no reference systems yet;
authorwenzelm
Fri, 21 Oct 2016 18:18:26 +0200
changeset 64337 e3b57c8046cb
parent 64336 beb3ebb9f567
child 64338 20c543b9fa80
speculative support for latest Mac OS X versions -- no reference systems yet;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Fri Oct 21 17:24:57 2016 +0200
+++ b/Admin/PLATFORMS	Fri Oct 21 18:18:26 2016 +0200
@@ -36,7 +36,8 @@
   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)
-                    Mac OS X 10.11 El Capitan
+                    Mac OS X 10.11 El Capitan (??)
+                    macOS 10.12 Sierra (???)
 
   x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
isabelle