diff --git a/download/gf-download.html b/download/gf-download.html index c1150a226..b43ff4469 100644 --- a/download/gf-download.html +++ b/download/gf-download.html @@ -87,15 +87,15 @@ You need GHC
-On Windows, you moreover need the -Cygwin environment. - -
- For the editor GUI, you also need Java, version 1.4 +
+ +On Windows, you moreover need the +Cygwin environment +to compile with GHC. @@ -109,10 +109,11 @@ With the GUI:
jgf-On Windows, doing this requires the jgf command requires the +Cygwin environment. -Without Cygwin, you can use GF by clicking the icon that is -created if you install the Windows binary. +Alternatively, if you use the binary installation (recommended) you can run +GF (both with and without GUI) from the Start menu.