Admin/website/packages.html

 
         <h2><?value key="distname"?></h2>
 
         <p>The following source and binary packages of <?value key="distname"?>
         provide everything required for easy installation of the full Isabelle
-        working environment on common Unix platforms (e.g. Linux, Darwin,
+        working environment on common Unix platforms (e.g. Linux, MacOS X,
         Solaris). We provide a complete set of packages for Isabelle, Proof
         General, and PolyML.</p>
     
         <p>While XEmacs 21 is not included here, most operating system
         distributions already provide a suitable package. Some of the