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 59114 8281f83d286f
parent 58780 1f8c0da85664
child 61294 2d3d26e9b191 
--- a/Admin/PLATFORMS	Mon Dec 08 23:06:19 2014 +0100
+++ b/Admin/PLATFORMS	Sat Nov 22 11:05:41 2014 +0100
@@ -33,9 +33,10 @@
   x86-linux         Ubuntu 10.04 LTS
   x86_64-linux      Ubuntu 10.04 LTS
 
-  x86_64-darwin     Mac OS X Lion (macbroy6)
-                    Mac OS X Mountain Lion (macbroy30)
-                    Mac OS X Mavericks (macbroy2)
+  x86_64-darwin     Mac OS X 10.7 Lion (macbroy6)
+                    Mac OS X 10.8 Mountain Lion (macbroy30)
+                    Mac OS X 10.9 Mavericks (macbroy2)
+                    Mac OS X 10.10 Yosemite (macbroy31)
 
   x86-cygwin        Cygwin 1.7 (vmbroy9)
isabelle