Compressed files

The files are compressed with gzip.

To uncompress use the command
gunzip xyz.gz

To uncompress use Aladdins Stuffit Expander (free).

Just in case anyone is still using this...
.gz is NOT the DOS zip format. I have been told that some had problems uncompressing the files. There is a Windows version of Aladdins Stuffit Expander (free). This should be able to handle .gz-files (and much more).

| home | List of publications |