diff -r 5854996e6060 -r e7df213a1918 Admin/website/faq.html
--- a/Admin/website/faq.html	Tue Jun 28 16:12:03 2005 +0200
+++ b/Admin/website/faq.html	Tue Jun 28 16:12:03 2005 +0200
@@ -259,13 +259,6 @@
           should then be able to invoke Isabelle with <tt class="shellcmd">Isabelle -l MyImage</tt>
           and have everything that is loaded in ROOT.ML instantly available.</dd>
     
-      <dt>Does Isabelle run on Windows?</dt>
-    
-      <dd>After a fashion, yes, but Isabelle is not being developed for
-          Windows. See the <a href="dist/installation_notes_cygwin.html">installation notes</a> for windows.
-          If the approach presented there is not sufficient for your purpose, consider a
-          dualboot Windows/Linux system.</dd>
-
     </dl>
 
     </div>