diff --git a/download/gf-download.html b/download/gf-download.html
index 3dce7e3c5..577c61c79 100644
--- a/download/gf-download.html
+++ b/download/gf-download.html
@@ -27,7 +27,7 @@ To install, use rpm -i
GF-2.0-i686-pc-linux-gnu.tgz:
generic Intel binaries
-To install, untar with tar xvfz, then read src/install
+To install, untar with tar xvfz, then read src/INSTALL
@@ -38,7 +38,7 @@ To install, untar with tar xvfz, then read src/install
href="GF-2.0-powerpc-apple-macosx.tgz">GF-2.0-powerpc-apple-macosx.tgz:
package with binaries
-To install, untar with tar xvfz, then read src/install.
+To install, untar with tar xvfz, then read src/INSTALL.
@@ -75,8 +75,14 @@ You need GHC
+On Windows, you moreover need the +Cygwin environment. + +
+ For the editor GUI, you also need Java, version 1.4 +href="http://java.sun.com/">Java, version 1.4 @@ -91,6 +97,10 @@ With the GUI:
jgf+On Windows, doing this requires the Cygwin environment. +Without Cygwin, you can use GF by clicking the icon that is +created if you install the Windows binary.