Admin/website/dist/installation.html

 
       <h2>General</h2>
       
         <p>
             Isabelle runs on common Unix platforms.
-            For Linux and Solaris, we provide ready-to-install bundles;
+            For Linux, Solaris and MaxOS / Darwin, we provide ready-to-install bundles;
             for other Unices, Isabelle has to be built from scratch.
-            We provide also some hints on how to use Isabelle on other, not-quite-Unix platforms.
         </p>
         
         <p>
             A usable Isabelle system consists of the following components:
         </p>

         
         <ul>
             <li><a href="#install_linux">Linux (x86)</a></li>
             <li><a href="#install_solaris">Solaris (sparc)</a></li>
             <li><a href="#install_darwin">MacOS X / Darwin</a></li>
-            <li><a href="#install_cygwin">Windows / Cygwin</a></li>
+            <li><a href="#install_windows">Windows</a></li>
         </ul>
 
       <h2 id="install_linux">Linux</h2>
 
         <p>Commonly, an installation of Isabelle could work as follows:</p>

                 <a href="http://proofgeneral.inf.ed.ac.uk/FAQ">ProofGeneral FAQ</a> for
                 advice.
             </li>
         </ul>
 
-      <h2 id="install_cygwin">Windows / Cygwin</h2>
-
-        <p>See <a href="installation_notes_cygwin.html">Installation notes for
+      <h2 id="install_windows">Windows</h2>
+
+        <p>Isabelle does not run nativly on Windows; in a restricted fashion,
+        you may run Isabelle on Windows using the Cygwin environment.
+        See <a href="installation_notes_cygwin.html">Installation notes for
         Cygwin/Windows</a>.</p>
-        <p>Those
-            installation instructions are hints contributed by
-            Isabelle users.  Please feel free to contact us for any suggestions,
-            corrections or improvements.</p>
+
+        <p>For a serious apporach, you should consider a Windows/Linux dualboot
+        installation.</p>
 
     </div>
     <div class="hr"><hr/></div>
     <?include file="../include/footer.include.html"?>
 </body>