🚀 go-pugleaf

In article <7983@awdprime.UUCP> wkh@duke.austin.ibm.com () writes:
>is there an ftp site from which a "standard" set is available?

Not that I am aware of. However, some are available via e-mail
using the archive server at Oxford:


LaTeX document preparation support:

fuzz            Order form for "fuzz" Z style for LaTeX + type-checker
zed.sty         A LaTeX style option for writing Z documents
zguide.tex      A guide to the above style
oz.sty          A LaTeX style option for writing Z & Object-Z documents
oz.tex          A guide to the above style
threecolumn.sty A style option used by "oz.tex" (if you don't have it)

foil.sty        A LaTeX style for overhead projector foils
zedfoil.sty     A LaTeX style option for Z overhead projector foils
foil.tex        An example of using the above two style files


For detailed information on how to access the PRG archive
server, send a message containing the command "help" to
<archive-server@prg.oxford.ac.uk>.  Alternatively, send a command
of "send z zed.sty zguide.tex" (for example) to the same address.
The command "index z" will return a list of all the Z-related
files on the server.

If anyone is willing to make these (and other Z-related files)
available via FTP, please contact me. Unfortunately we cannot
afford direct Internet access at the moment. Alternatively, if
anyone would like to send us a cheque ...  :-)


--
Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk>
Oxford University Computing Laboratory.