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 69309 283837b0b8b9
parent 69244 264002272392
child 69725 88b8bc6a6e5f 
--- a/Admin/PLATFORMS	Thu Nov 15 21:44:25 2018 +0100
+++ b/Admin/PLATFORMS	Fri Nov 16 16:21:21 2018 +0100
@@ -36,7 +36,7 @@
   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 (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2)
 
   x86_64-windows    Windows 7
isabelle