The World Wide Web Virtual Library:
The Z notation
The Z notation archive
Note that this
archive of Z-related files was originally stored at the
Oxford University Computing Laboratory
and was (and still is)
accessible via anonymous FTP and
electronic mail.
It is included here mainly for historical interest
although some of the files may still be relevant.
Any updates will only be made to this copy of the archive.
Name Last modified Size Description
Parent Directory 16-Jan-2008 16:48 -
00index.html 10-Nov-2002 16:57 9k
1.1 10-Nov-2002 16:43 3k
1.1.Z 10-Nov-2002 16:43 2k
1.2 10-Nov-2002 16:43 9k
1.2.Z 10-Nov-2002 16:43 5k
1.3 10-Nov-2002 16:43 8k
1.3.Z 10-Nov-2002 16:43 5k
1.4 10-Nov-2002 16:43 4k
1.4.Z 10-Nov-2002 16:43 2k
1.5 10-Nov-2002 16:43 6k
1.5.Z 10-Nov-2002 16:43 3k
1.6 10-Nov-2002 16:43 20k
1.6.Z 10-Nov-2002 16:43 9k
1.7 10-Nov-2002 16:43 14k
1.7.Z 10-Nov-2002 16:43 6k
1.8 10-Nov-2002 16:43 5k
1.8.Z 10-Nov-2002 16:43 3k
1.9 10-Nov-2002 16:43 4k
1.9.Z 10-Nov-2002 16:43 2k
2.1 10-Nov-2002 16:43 17k
2.1.Z 10-Nov-2002 16:43 9k
2.2 10-Nov-2002 16:43 8k
2.2.Z 10-Nov-2002 16:43 5k
2.3 10-Nov-2002 16:43 7k
2.3.Z 10-Nov-2002 16:43 4k
2.4 10-Nov-2002 16:43 5k
2.4.Z 10-Nov-2002 16:43 3k
3.1 10-Nov-2002 16:43 54k
3.1.Z 10-Nov-2002 16:43 27k
3.2 10-Nov-2002 16:43 11k
3.2.Z 10-Nov-2002 16:43 6k
3.3 10-Nov-2002 16:43 9k
3.3.Z 10-Nov-2002 16:43 5k
3.4 10-Nov-2002 16:43 4k
3.4.Z 10-Nov-2002 16:43 2k
3.5 10-Nov-2002 16:43 3k
3.5.Z 10-Nov-2002 16:43 2k
3.6 10-Nov-2002 16:43 3k
3.6.Z 10-Nov-2002 16:43 2k
3.7 10-Nov-2002 16:43 15k
3.7.Z 10-Nov-2002 16:43 7k
3.8 10-Nov-2002 16:43 3k
3.8.Z 10-Nov-2002 16:43 2k
4.1 10-Nov-2002 16:43 8k
4.1.Z 10-Nov-2002 16:43 4k
4.2 10-Nov-2002 16:43 5k
4.2.Z 10-Nov-2002 16:43 3k
4.3 10-Nov-2002 16:43 51k
4.3.Z 10-Nov-2002 16:43 25k
4.4 10-Nov-2002 16:43 15k
4.4.Z 10-Nov-2002 16:43 7k
5.1 10-Nov-2002 16:43 3k
5.1.Z 10-Nov-2002 16:43 2k
5.2 10-Nov-2002 16:43 9k
5.2.Z 10-Nov-2002 16:43 5k
5.3 10-Nov-2002 16:43 19k
5.3.Z 10-Nov-2002 16:43 10k
CMU-CS-92-169.ps 10-Nov-2002 16:43 1.1M
CMU-CS-92-169.ps.Z 10-Nov-2002 16:43 398k
Comp.specification.z 10-Nov-2002 16:43 1.2M
Springer.sty 10-Nov-2002 16:43 1k
Springer.sty.Z 10-Nov-2002 16:43 1k
TR-1-93.ps 10-Nov-2002 16:43 225k
TR-1-93.ps.Z 10-Nov-2002 16:43 90k
TR-10-92.ps 10-Nov-2002 16:43 252k
TR-10-92.ps.Z 10-Nov-2002 16:43 97k
TypePicture.ps 10-Nov-2002 16:43 28k
TypePicture.ps.Z 10-Nov-2002 16:43 13k
ZEDspecenv.ps 10-Nov-2002 16:43 36k
ZEDspecenv.ps.Z 10-Nov-2002 16:43 16k
ZEDspecenv.tex 10-Nov-2002 16:43 5k
ZEDspecenv.tex.Z 10-Nov-2002 16:43 3k
ZTC 10-Nov-2002 16:43 3k
ZTC1.2 10-Nov-2002 16:43 2k
ZTC1.2.tar 10-Nov-2002 16:43 490k
ZTC1.2.tar.Z 10-Nov-2002 16:43 246k
Zedfont.README 10-Nov-2002 16:43 1k
Zedfont.sea.hqx 10-Nov-2002 16:43 113k
Zedfont.zip 10-Nov-2002 16:43 41k
Zedfont.zip.uu 10-Nov-2002 16:43 61k
Zedfont.zip.uue 10-Nov-2002 16:43 61k
amast95 10-Nov-2002 16:43 24k
annote.bst 10-Nov-2002 16:43 19k
annote.bst.Z 10-Nov-2002 16:43 7k
cfp92 10-Nov-2002 16:43 5k
cfp94 10-Nov-2002 16:43 5k
cfp94-2 10-Nov-2002 16:43 8k
cfp94-2.ps 10-Nov-2002 16:43 94k
cfp94-2.ps.Z 10-Nov-2002 16:43 34k
cfp94-2.tex 10-Nov-2002 16:43 10k
cfp94-education 10-Nov-2002 16:43 2k
cfp94.ps 10-Nov-2002 16:43 73k
cfp94.ps.Z 10-Nov-2002 16:43 26k
cfp94.tex 10-Nov-2002 16:43 6k
csp.BAK 10-Nov-2002 16:43 5k
csp_zed.sty.BAK 10-Nov-2002 16:43 12k
csz-cfv 10-Nov-2002 16:43 4k
csz-cfv.Z 10-Nov-2002 16:43 2k
csz-cfv2 10-Nov-2002 16:43 10k
csz-cfv2.Z 10-Nov-2002 16:43 6k
csz-result 10-Nov-2002 16:43 13k
csz-result.Z 10-Nov-2002 16:43 8k
csz-rfd 10-Nov-2002 16:43 3k
csz-rfd.Z 10-Nov-2002 16:43 2k
csz-welcome 10-Nov-2002 16:43 4k
csz-welcome.Z 10-Nov-2002 16:43 2k
faq 10-Nov-2002 17:00 21k
faq.ps 10-Nov-2002 16:43 50k
faq.ps.Z 10-Nov-2002 16:43 27k
faq.txt 10-Nov-2002 19:15 21k
faq94.ps 10-Nov-2002 16:43 124k
faq94.ps.Z 10-Nov-2002 16:43 47k
faq95.ps 10-Nov-2002 16:43 47k
faq95.ps.Z 10-Nov-2002 16:43 25k
faq97.ps 10-Nov-2002 16:43 45k
faq97.ps.Z 10-Nov-2002 16:43 24k
faq98.ps 10-Nov-2002 16:43 50k
faq98.ps.Z 10-Nov-2002 16:43 27k
fme93 10-Nov-2002 16:43 4k
fme94 10-Nov-2002 16:44 14k
fme94-cfp 10-Nov-2002 16:44 3k
foil.sty 10-Nov-2002 16:44 47k
foil.sty.Z 10-Nov-2002 16:44 21k
foil.tex 10-Nov-2002 16:44 1k
foil.tex.Z 10-Nov-2002 16:44 1k
forte94 10-Nov-2002 16:44 29k
forte94.cfp 10-Nov-2002 16:44 13k
forte94.log 10-Nov-2002 16:44 21k
fuzz 10-Nov-2002 16:44 5k
fuzz.txt 10-Nov-2002 16:44 5k
msfonts 10-Nov-2002 16:44 19k
msxm10.300pk 10-Nov-2002 17:27 6k
msxm10.329pk 10-Nov-2002 17:28 6k
msxm10.360pk 10-Nov-2002 17:29 7k
msxm10.tfm 10-Nov-2002 17:25 1k
msxyfonts 10-Nov-2002 16:44 62k
msym10.300pk 10-Nov-2002 17:28 7k
msym10.329pk 10-Nov-2002 17:28 8k
msym10.360pk 10-Nov-2002 17:29 9k
msym10.tfm 10-Nov-2002 17:27 1k
mz.sty 10-Nov-2002 16:44 7k
oz.ps 10-Nov-2002 16:44 294k
oz.ps.Z 10-Nov-2002 16:44 99k
oz.sty 10-Nov-2002 16:44 41k
oz.sty.Z 10-Nov-2002 16:44 19k
oz.tex 10-Nov-2002 16:44 44k
oz.tex.Z 10-Nov-2002 16:44 19k
proc87.ps 10-Nov-2002 16:44 193k
proc87.ps.Z 10-Nov-2002 16:44 74k
proc87.tex 10-Nov-2002 16:44 46k
proc87.tex.Z 10-Nov-2002 16:44 23k
proc87.toc 10-Nov-2002 16:44 2k
proc87.toc.Z 10-Nov-2002 16:44 1k
proc88.ps 10-Nov-2002 16:44 204k
proc88.ps.Z 10-Nov-2002 16:44 81k
proc88.tex 10-Nov-2002 16:44 48k
proc88.tex.Z 10-Nov-2002 16:44 24k
proc88.toc 10-Nov-2002 16:44 2k
proc88.toc.Z 10-Nov-2002 16:44 1k
proc89.ps 10-Nov-2002 16:44 108k
proc89.ps.Z 10-Nov-2002 16:44 34k
proc89.tex 10-Nov-2002 16:44 4k
proc89.tex.Z 10-Nov-2002 16:44 2k
qata92 10-Nov-2002 16:44 11k
refine92 10-Nov-2002 16:44 10k
springer.sty 10-Nov-2002 16:44 1k
springer.sty.Z 10-Nov-2002 16:44 1k
subjects 10-Nov-2002 16:44 4k
subjects.Z 10-Nov-2002 16:44 2k
threecolumn.sty 10-Nov-2002 16:44 9k
threecolumn.sty.Z 10-Nov-2002 16:44 4k
vdm-z 10-Nov-2002 16:44 11k
vdm-z.Z 10-Nov-2002 16:44 6k
vdm91 10-Nov-2002 16:44 8k
vdm91.Z 10-Nov-2002 16:44 4k
wicsbook.sty 10-Nov-2002 16:44 3k
wicsbook.sty.Z 10-Nov-2002 16:44 2k
wift95 10-Nov-2002 16:44 13k
wift95-cfp 10-Nov-2002 16:44 6k
z-extra.bib 10-Nov-2002 16:44 97k
z-extra.bib.Z 10-Nov-2002 16:44 36k
z-faq 10-Nov-2002 16:44 21k
z.bib 15-Dec-2002 21:53 290k
z.bib.Z 10-Nov-2002 16:44 101k
z.html 03-Feb-2003 19:31 42k
z.ps 10-Nov-2002 16:44 259k
z.ps.Z 10-Nov-2002 16:44 106k
z.tex 10-Nov-2002 16:44 3k
z.tex.Z 10-Nov-2002 16:44 2k
z.uu 10-Nov-2002 16:44 77k
z.uu.Z 10-Nov-2002 16:44 70k
z2.bib 10-Nov-2002 16:44 20k
z2.bib.Z 10-Nov-2002 16:44 10k
z91 10-Nov-2002 16:44 4k
z91.Z 10-Nov-2002 16:44 2k
z91.bib 10-Nov-2002 16:44 124k
z91.bib.Z 10-Nov-2002 16:44 45k
z91.tex 10-Nov-2002 16:44 2k
z91.tex.Z 10-Nov-2002 16:44 2k
z91.uu 10-Nov-2002 16:44 76k
z91.uu.Z 10-Nov-2002 16:44 69k
z92.bib 10-Nov-2002 16:44 140k
z92.bib.Z 10-Nov-2002 16:44 50k
z92.tex 10-Nov-2002 16:44 2k
z92.tex.Z 10-Nov-2002 16:44 2k
z92.uu 10-Nov-2002 16:44 82k
z92.uu.Z 10-Nov-2002 16:44 75k
z94-extra.bib 10-Nov-2002 16:44 20k
z94-extra.bib.Z 10-Nov-2002 16:44 10k
z94.bib 10-Nov-2002 16:44 151k
z94.bib.Z 10-Nov-2002 16:44 56k
z94.tex 10-Nov-2002 16:44 3k
z94.tex.Z 10-Nov-2002 16:44 2k
z95.bib 10-Nov-2002 16:44 205k
z95.bib.Z 10-Nov-2002 16:44 73k
z95.ps 10-Nov-2002 16:44 195k
z95.ps.Z 10-Nov-2002 16:44 83k
z97-extra.bib 10-Nov-2002 16:44 97k
z97-extra.bib.Z 10-Nov-2002 16:44 37k
z97.bib 10-Nov-2002 16:44 204k
z97.bib.Z 10-Nov-2002 16:44 72k
z97.ps 10-Nov-2002 16:44 200k
z97.ps.Z 10-Nov-2002 16:44 85k
z98-extra.bib 10-Nov-2002 16:44 97k
z98-extra.bib.Z 10-Nov-2002 16:44 36k
z98.bib 10-Nov-2002 16:44 290k
z98.bib.Z 10-Nov-2002 16:44 101k
z98.ps 10-Nov-2002 16:44 259k
z98.ps.Z 10-Nov-2002 16:44 106k
zannounce92 10-Nov-2002 16:44 4k
zarchive.html 10-Nov-2002 16:44 1k
zbrw.zip 10-Nov-2002 16:44 282k
zbrw.zip.uu 10-Nov-2002 16:44 389k
zed-csp.sty 10-Nov-2002 16:44 31k
zed.readme 10-Nov-2002 16:44 1k
zed.readme.Z 10-Nov-2002 16:44 1k
zed.sty 10-Nov-2002 16:44 7k
zed.sty.BAK 10-Nov-2002 16:44 7k
zed.tex 10-Nov-2002 16:44 27k
zed.tex.Z 10-Nov-2002 16:44 13k
zed2e.tex 10-Nov-2002 16:44 26k
zedc.uu 10-Nov-2002 16:44 10k
zedfoil.sty 10-Nov-2002 16:44 11k
zedfoil.sty.Z 10-Nov-2002 16:44 6k
zfont.BAK.zip 10-Nov-2002 16:44 85k
zfont.diffs 10-Nov-2002 16:44 2k
zfont.mac 10-Nov-2002 16:44 27k
zfont.mac.Z 10-Nov-2002 16:44 25k
zfont.readme 10-Nov-2002 16:44 2k
zfont.riscos 10-Nov-2002 16:44 10k
zfont.riscos.Z 10-Nov-2002 16:44 10k
zfont.type1 10-Nov-2002 16:44 17k
zfont.type1.Z 10-Nov-2002 16:44 8k
zfont.type3 10-Nov-2002 16:44 24k
zfont.type3.Z 10-Nov-2002 16:44 8k
zfont.zip 10-Nov-2002 16:44 86k
zfont.zip.uu 10-Nov-2002 16:44 119k
zforum 10-Nov-2002 16:44 27k
zforum90 10-Nov-2002 16:44 15k
zforum90.Z 10-Nov-2002 16:44 8k
zforum91-01 10-Nov-2002 16:44 1k
zforum91-02 10-Nov-2002 16:44 1k
zforum91-03 10-Nov-2002 16:44 1k
zforum91-04 10-Nov-2002 16:44 1k
zforum91-05 10-Nov-2002 16:44 1k
zforum91-06 10-Nov-2002 16:44 1k
zforum91-07 10-Nov-2002 16:44 1k
zforum91-08 10-Nov-2002 16:44 75k
zforum91-08.Z 10-Nov-2002 16:44 35k
zforum91-09 10-Nov-2002 16:44 95k
zforum91-09.Z 10-Nov-2002 16:44 43k
zforum91-10 10-Nov-2002 16:44 63k
zforum91-10.Z 10-Nov-2002 16:44 30k
zforum91.mail 10-Nov-2002 16:44 216k
zforum91.mail.Z 10-Nov-2002 16:44 94k
zforum92-01 10-Nov-2002 16:44 39k
zforum92-01.Z 10-Nov-2002 16:44 20k
zforum92-02 10-Nov-2002 16:44 40k
zforum92-02.Z 10-Nov-2002 16:44 21k
zforum92-03 10-Nov-2002 16:44 76k
zforum92-03.Z 10-Nov-2002 16:44 38k
zforum92-04 10-Nov-2002 16:44 51k
zforum92-04.Z 10-Nov-2002 16:44 25k
zforum92-05 10-Nov-2002 16:44 169k
zforum92-05.Z 10-Nov-2002 16:44 73k
zforum92-06 10-Nov-2002 16:44 20k
zforum92-06.Z 10-Nov-2002 16:44 11k
zforum92-07 10-Nov-2002 16:44 108k
zforum92-07.Z 10-Nov-2002 16:44 67k
zforum92-08 10-Nov-2002 16:44 120k
zforum92-08.Z 10-Nov-2002 16:44 54k
zforum92-09 10-Nov-2002 16:44 54k
zforum92-09.Z 10-Nov-2002 16:44 28k
zforum92-10 10-Nov-2002 16:44 64k
zforum92-10.Z 10-Nov-2002 16:44 32k
zforum92-11 10-Nov-2002 16:44 74k
zforum92-11.Z 10-Nov-2002 16:44 36k
zforum92-12 10-Nov-2002 16:44 81k
zforum92-12.Z 10-Nov-2002 16:44 39k
zforum93-01 10-Nov-2002 16:44 114k
zforum93-01.Z 10-Nov-2002 16:44 53k
zforum93-02 10-Nov-2002 16:44 87k
zforum93-02.Z 10-Nov-2002 16:44 43k
zforum93-03 10-Nov-2002 16:44 106k
zforum93-03.Z 10-Nov-2002 16:44 50k
zforum93-04 10-Nov-2002 16:44 66k
zforum93-04.Z 10-Nov-2002 16:44 34k
zforum93-05 10-Nov-2002 16:44 160k
zforum93-05.Z 10-Nov-2002 16:44 74k
zforum93-06 10-Nov-2002 16:44 143k
zforum93-06.Z 10-Nov-2002 16:44 67k
zforum93-07 10-Nov-2002 16:44 89k
zforum93-07.Z 10-Nov-2002 16:44 44k
zforum93-08 10-Nov-2002 16:44 57k
zforum93-08.Z 10-Nov-2002 16:44 29k
zforum93-09 10-Nov-2002 16:44 131k
zforum93-09.Z 10-Nov-2002 16:44 61k
zforum93-10 10-Nov-2002 16:44 63k
zforum93-10.Z 10-Nov-2002 16:44 31k
zforum93-11 10-Nov-2002 16:44 105k
zforum93-11.Z 10-Nov-2002 16:44 49k
zforum93-12 10-Nov-2002 16:44 171k
zforum93-12.Z 10-Nov-2002 16:44 79k
zforum94-01 10-Nov-2002 16:44 76k
zforum94-01.Z 10-Nov-2002 16:44 37k
zforum94-02 10-Nov-2002 16:44 165k
zforum94-02.Z 10-Nov-2002 16:44 75k
zforum94-03 10-Nov-2002 16:44 84k
zforum94-03.Z 10-Nov-2002 16:44 42k
zforum94-04 10-Nov-2002 16:44 123k
zforum94-04.Z 10-Nov-2002 16:44 60k
zforum94-05 10-Nov-2002 16:44 91k
zforum94-05.Z 10-Nov-2002 16:44 44k
zforum94-06 10-Nov-2002 16:44 50k
zforum94-06.Z 10-Nov-2002 16:44 25k
zforum94-07 10-Nov-2002 16:44 125k
zforum94-07.Z 10-Nov-2002 16:44 59k
zforum94-08 10-Nov-2002 16:44 119k
zforum94-08.Z 10-Nov-2002 16:44 56k
zforum94-09 10-Nov-2002 16:44 171k
zforum94-09.Z 10-Nov-2002 16:44 80k
zforum94-10 10-Nov-2002 16:44 128k
zforum94-10.Z 10-Nov-2002 16:44 61k
zforum94-11 10-Nov-2002 16:44 126k
zforum94-11.Z 10-Nov-2002 16:44 60k
zforum94-12 10-Nov-2002 16:44 117k
zforum94-12.Z 10-Nov-2002 16:44 56k
zforum95 10-Nov-2002 16:44 27k
zforum95-01 10-Nov-2002 16:44 72k
zforum95-01.Z 10-Nov-2002 16:44 36k
zforum95-02 10-Nov-2002 16:44 212k
zforum95-02.Z 10-Nov-2002 16:44 98k
zforum95-03 10-Nov-2002 16:44 301k
zforum95-03.Z 10-Nov-2002 16:44 137k
zforum95-04 10-Nov-2002 16:44 170k
zforum95-04.Z 10-Nov-2002 16:44 78k
zforum95-05 10-Nov-2002 16:44 168k
zforum95-05.Z 10-Nov-2002 16:44 77k
zforum95-06 10-Nov-2002 16:44 27k
zforum95-06.Z 10-Nov-2002 16:44 14k
zglossary.pdf 16-Jan-2008 21:52 64k
zglossary.ps 10-Nov-2002 16:44 40k
zglossary.ps.Z 10-Nov-2002 16:44 21k
zguide.ps 10-Nov-2002 16:44 98k
zguide.ps.Z 10-Nov-2002 16:44 50k
zguide.tex 10-Nov-2002 16:44 27k
zguide.tex.Z 10-Nov-2002 16:44 13k
zmeeting88 10-Nov-2002 16:44 14k
zmeeting88.Z 10-Nov-2002 16:44 6k
zmeeting90 10-Nov-2002 16:44 7k
zmeeting90.Z 10-Nov-2002 16:44 3k
zmeeting91 10-Nov-2002 16:44 7k
zmeeting91.Z 10-Nov-2002 16:44 3k
zmeeting92 10-Nov-2002 16:44 6k
zstandard 10-Nov-2002 16:44 2k
zstandard-annex1.0.dvi 10-Nov-2002 16:44 176k
zstandard-annex1.0.ps 10-Nov-2002 16:44 354k
zstandard-annex1.0.p..> 10-Nov-2002 16:44 352k
zstandard-annex1.0.p..> 10-Nov-2002 16:44 138k
zstandard-annex1.0.ps.Z 10-Nov-2002 16:44 139k
zstandard1.0.dvi 10-Nov-2002 16:44 367k
zstandard1.0.ps 10-Nov-2002 16:44 609k
zstandard1.0.ps.BAK 10-Nov-2002 16:44 605k
zstandard1.0.ps.BAK.Z 10-Nov-2002 16:44 225k
zstandard1.0.ps.Z 10-Nov-2002 16:44 225k
ztools.troff 10-Nov-2002 16:44 9k
zug.gif 10-Nov-2002 16:44 3k
zum92 10-Nov-2002 16:44 2k
zum92.dvi 10-Nov-2002 16:44 3k
zum92.ps 10-Nov-2002 16:44 78k
zum92.ps.Z 10-Nov-2002 16:44 25k
zum92.tex 10-Nov-2002 16:44 3k
zum94 10-Nov-2002 16:44 1k
zum94-cfp 10-Nov-2002 16:44 16k
zum94-colour-poster.ps 10-Nov-2002 16:44 601k
zum94-colour-poster...> 10-Nov-2002 16:44 102k
zum94-directions.ps 10-Nov-2002 16:44 1.4M
zum94-directions.ps.Z 10-Nov-2002 16:44 132k
zum94-education 10-Nov-2002 16:44 2k
zum94-education.txt 10-Nov-2002 16:44 2k
zum94-info.ps 10-Nov-2002 16:44 1.4M
zum94-info.ps.Z 10-Nov-2002 16:44 132k
zum94-info.tex 10-Nov-2002 16:44 15k
zum94-info.tex.Z 10-Nov-2002 16:44 8k
zum94-poster.ps 10-Nov-2002 16:44 600k
zum94-poster.ps.Z 10-Nov-2002 16:44 102k
zum94-report.ps 10-Nov-2002 16:44 16k
zum94-report.ps.Z 10-Nov-2002 16:44 9k
zum94.ps 10-Nov-2002 16:44 117k
zum94.ps.Z 10-Nov-2002 16:44 44k
zum94.tex 10-Nov-2002 16:44 20k
zum95 10-Nov-2002 16:44 28k
zum95-agm 10-Nov-2002 16:44 1k
zum95-cfp 10-Nov-2002 16:44 2k
zum95-colour-poster.ps 10-Nov-2002 16:44 668k
zum95-colour-poster...> 10-Nov-2002 16:44 143k
zum95-form.ps 10-Nov-2002 16:44 27k
zum95-form.ps.Z 10-Nov-2002 16:44 13k
zum95-form.txt 10-Nov-2002 16:44 5k
zum95-poster.ps 10-Nov-2002 16:44 668k
zum95-poster.ps.Z 10-Nov-2002 16:44 143k
zum95-prog.ps 10-Nov-2002 16:44 95k
zum95-prog.ps.Z 10-Nov-2002 16:44 49k
zum95-prog.tex 10-Nov-2002 16:44 31k
zum95-prog.txt 10-Nov-2002 16:44 28k
zum97-cfp.ps 10-Nov-2002 16:44 65k
zum97-cfp.ps.Z 10-Nov-2002 16:44 34k
zum97-cfp.txt 10-Nov-2002 16:44 5k
zum97-cfp2.txt 10-Nov-2002 16:44 6k
zum97-cfpart.ps 10-Nov-2002 16:44 160k
zum97-cfpart.ps.Z 10-Nov-2002 16:44 81k
zum97-cfpart.txt 10-Nov-2002 16:44 23k
zum97-form.txt 10-Nov-2002 16:44 4k
zum97-poster.ps 10-Nov-2002 16:44 591k
zum97-poster.ps.Z 10-Nov-2002 16:44 107k
zum98-cfp.ps 10-Nov-2002 16:44 20k
zum98-cfp.ps.Z 10-Nov-2002 16:44 12k
zum98-cfp.txt 10-Nov-2002 16:44 6k
zum98-cfp2.txt 10-Nov-2002 16:44 6k
zum98-cfpart.txt 10-Nov-2002 16:44 29k
index of further files
and
hypertext information on Z .
Z-related files
The following large files and subdirectories 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 (June 1995)
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
Zedfont.zip MS Windows Z font (pkzip format)
zfont.zip TrueType Z font (pkzip format)
ZSTAN Directory containing files relevant to the
Z standard (maintained by John Nicholls,
email: John.Nicholls@comlab.ox.ac.uk)
zstandard1.0.ps Main part of draft Z standard, version 1.0
zstandard-annex1.0.ps Appendices of draft Z standard, version 1.0
ZTC-1.3 Directory containing V1.3 of ZTC Z type-checker
for PC and Sun (compressed Unix "tar" format)
zum92.ps Information on 1992 Z User Meeting proceedings
zum94-poster.ps A4 poster advertising ZUM'94 (black & white)
zum94-colour-poster.ps ditto in colour
zum94.ps Call for participation for 1994 Z User Meeting
zum94-info.ps Information and directions for 1994 Z User Meeting
z.ps Select Z Bibliography (June 1995)
z??.ps Previous versions of Select Z Bibliography (by year)
zum95-poster.ps Monochrome A4 poster advertising ZUM'95
zum95-colour-poster.ps ditto in colour
zum95-form.ps Booking form for ZUM'95
zum95-form.txt ASCII text version of above
zum95-prog.ps Call for Participation for ZUM'95
zum95-prog.txt ASCII text version of above
zum97-cfpart.ps Call for Participation for ZUM'97
zum97-cfpart.txt ASCII text version of above
zum97-form.txt Booking form for ZUM'97
zum97-poster.ps A4 poster advertising ZUM'97
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@comlab.ox.ac.uk
Last updated 10 November 2002, by Jonathan Bowen
![[Z User Group - ZUG]](/archive/z/zug/logo-small.gif){kind=logo}
![[Centre for Applied Formal Methods (CAFM), South Bank University, London, UK]](http://www.cafm.sbu.ac.uk/cafm-logo.gif){kind=logo}
Formal MethodsName Last modified Size Description
Parent Directory 16-Jan-2008 16:48 -
00index.html 10-Nov-2002 16:57 9k
1.1.Z 10-Nov-2002 16:43 2k
1.6 10-Nov-2002 16:43 20k
CMU-CS-92-169.ps 10-Nov-2002 16:43 1.1M
ZEDspecenv.tex 10-Nov-2002 16:43 5k
ZTC1.2.tar 10-Nov-2002 16:43 490k
Zedfont.sea.hqx 10-Nov-2002 16:43 113k
Zedfont.zip.uu 10-Nov-2002 16:43 61k
zglossary.pdf 16-Jan-2008 21:52 64k
zstandard-annex1.0.dvi 10-Nov-2002 16:44 176k
zug.gif 10-Nov-2002 16:44 3k