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 PLATFORMS;
authorwenzelm
Sun, 21 Oct 2018 16:11:24 +0200
changeset 69165 c360f3b603f8
parent 69164 74f1b0f10b2b
child 69172 55a9803cb6be
updated PLATFORMS;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- a/Admin/PLATFORMS	Sun Oct 21 09:39:09 2018 +0200
+++ b/Admin/PLATFORMS	Sun Oct 21 16:11:24 2018 +0200
@@ -36,7 +36,8 @@
   x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
                     macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
-                    macOS 10.13 High Sierra
+                    macOS 10.13 High Sierra (!?)
+                    macOS 10.14 Mojave (!?)
 
   x86_64-windows    Windows 7
   x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release)
isabelle