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.
updated platform baseline to Mac OS X 10.8 Mountain Lion;
authorwenzelm
Mon, 23 Nov 2015 18:05:33 +0100
changeset 61741 adf6dd1d490e
parent 61740 d7e0315fe423
child 61742 fd3b214b0979
updated platform baseline to Mac OS X 10.8 Mountain Lion;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Mon Nov 23 17:56:11 2015 +0100
+++ b/Admin/PLATFORMS	Mon Nov 23 18:05:33 2015 +0100
@@ -33,10 +33,10 @@
   x86-linux         Ubuntu 10.04 LTS
   x86_64-linux      Ubuntu 10.04 LTS
 
-  x86_64-darwin     Mac OS X 10.7 Lion (macbroy6)
-                    Mac OS X 10.8 Mountain Lion (macbroy30)
+  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
 
   x86-cygwin        Cygwin 1.7 (vmbroy9)
isabelle