diff -r 25ffdae37db1 -r fb2fd74358e1 Admin/website/installation_notes_cygwin.html --- a/Admin/website/installation_notes_cygwin.html Fri Sep 30 15:17:04 2005 +0200 +++ b/Admin/website/installation_notes_cygwin.html Fri Sep 30 15:28:43 2005 +0200 @@ -22,13 +22,13 @@
Any suggestions and improvements concerning this hints are welcomed!
@@ -174,15 +174,6 @@On Linux, Isabelle can be started by two scripts located in - Isabelle/bin: Isabelle and isabelle. - Isabelle attempts to start ProofGeneral with XEmacs, and isabelle - starts it in an SML shell session. However Windows treats the two names as - one. To get around this, just rename /opt/Isabelle/bin/isabelle to - /opt/Isabelle/bin/Isabelle. This script - will start Isabelle with ProofGeneral; the isabelle - script in any case is available as isabelle-process.
-Now everything should be ready. To test, start the cygwin shell and type
@@ -212,17 +203,6 @@and assigning a shortcut in the start menu to it.
- -As indicated above, Isabelle does not run neatly with Poly/ML on Windows, since it is not clear - how Poly/ML has to be compiled for Cygwin, and the native Windows port - of PolyML does not provide some Posix signals Isabelle/ProofGeneral relies on.
- -If you know how to circumvent (fully or partially) any of these problems, - please let us know.
-