.gz files

[Shriram Krishnamurthi <shriram@cs.rice.edu>]

Hi Dr Bitsch,

1. You can download the Cygwin32 package from Cygnus (or whatever they
go by, these days).  It used to be available from www.cygnus.com.  It
basically gives you a bunch of Unix utilities under Windows -- gzip,
gunzip, tar, ls, bash [the shell], etc -- which are quite useful to
have around anyway.

2. You can use the gunzip procedure written in Scheme by Matthew
Flatt.  Please search for "gunzip" in Help | Help Desk.  Remember to
run the instructions in green at the top of the documentation page.

3. In general, when you download documentation, Help Desk will
automatically take care of the extraction process for you.  I'm not
sure why this isn't happening for you.

'shriram