Z-related files.

The following large files are available via FTP only:

cfp94-2.ps            Updated reminder Call for Papers for ZUM'94
cfp94.ps              Call for Papers for 8th Z User Meeting (ZUM'94)
CMU-CS-92-169.ps      "A specification of the Soar Cognitive
                       Architecture in Z" by Brian Milnes
Comp.specification.z  Selected articles from Z newsgroup
faq.ps                Pretty printed version of the Z FAQ message (Feb 1994)
proc87.ps	      1987 Z User Meeting proceedings
proc88.ps	      1988 Z User Meeting proceedings
proc89.ps	      1989 Z User Meeting contents only
TR-1-93.ps	      Select Z Bibliography, March 1993
zstandard-annex1.0.ps Appendices of draft Z standard, version 1.0
zstandard1.0.ps       Main part of draft Z standard, version 1.0
ZTC1.2.tar            Z type-checker for PC (Unix "tar" format)
zum92.ps              Information on Z User Meeting proceedings
zum94-poster.ps       A4 poster advertising ZUM'94

Files ending in ".ps" are in PostScript format. Others are ASCII text.
See the file "00index" for a list and brief description of other
files available via FTP and the mail archive server.

A trailing ".Z" indicates a "compressed" file.  You may use the Unix
"uncompress" or "zcat" utilities to uncompress such files.  Remember to
use the "binary" FTP command before transferring such files using
anonymous FTP. Alternatively compressed files with the ".Z" suffix
(e.g., "zed.sty.Z") can be retrieved in uncompressed form directly by
naming the file without the ".Z" suffix (e.g., "get zed.sty").

Please send queries or submissions to <zforum-request@prg>.

Last updated 11th February, 1994, by Jonathan Bowen