If you lack the gunzip program, or are using a Windows or Mac machine (where the Web Browsers fail to interpret the .gz and .Z extensions correctly), you will be unable to read our compressed postscript files.
As a workaround, we provide a gunzipping service: just type (or cut and paste) the URL of the file concerned into this window and press the "submit" button. We will uncompress the file locally and stream the raw postscript back to your browser.