Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!mcsun!ukc!ox-prg!bowen From: bowen@prg.ox.ac.uk (Jonathan Bowen) Newsgroups: comp.specification Subject: Re: TeX macros for Z ... Message-ID: <1806@culhua.prg.ox.ac.uk> Date: 31 May 91 11:40:05 GMT References: <7983@awdprime.UUCP> Sender: news@prg.ox.ac.uk Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) Organization: Programming Research Group, Oxford University, UK Lines: 37 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 . 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, Oxford University Computing Laboratory.