Admin/Release/CHECKLIST

 
 - update https://isabelle.sketis.net/repos/isabelle-website
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- test old HD display: Linux, Windows, Mac OS X;
+- test old HD display: Linux, Windows, macOS;
 
-- Mac OS X: check recent MacTeX;
+- macOS: check recent MacTeX;
 
 - Windows: check recent MiKTeX;
 
 - Phabricator:
     . src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version

 
 
 Packaging
 =========
 
-- Mac OS X: provide "gnutar" executable via shell PATH
+- macOS: provide "gnutar" executable via shell PATH
   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
 
 - fully-automated packaging (e.g. on lxcisa0):
 
   hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist