From f05b87e21d04a3dad0906c5f31ba053826bc2a15 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 13 Aug 2004 07:43:46 +0000 Subject: [PATCH] cygwin --- download/gf-download.html | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) 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.