[comp.specification] TeX macros for Z ...

wkh@duke.austin.ibm.com (05/28/91)

is there an ftp site from which a "standard" set is available?

Thanks ... WkH

Ward K Harold				(512) 823-4139 [T/L 793-4139]
IBM Personal Systems Programming	external: wkh@dce.austin.ibm.com
11400 Burnet Rd., Zip 2603		internal: wkh@duke.austin.ibm.com
Austin, TX  78758			vnet: wharrold --ausvmq

bowen@prg.ox.ac.uk (Jonathan Bowen) (05/31/91)

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.