--- 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>