Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!mcsun!ukc!ox-prg!bowen From: bowen@prg.ox.ac.uk (Jonathan Bowen) Newsgroups: comp.text.tex Subject: Re: Wanted: oz.sty or zed.sty for Z specifications in LaTeX Message-ID: <1811@culhua.prg.ox.ac.uk> Date: 3 Jun 91 11:35:56 GMT Article-I.D.: culhua.1811 References: <1957@svin02.info.win.tue.nl> Sender: news@prg.ox.ac.uk Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) Organization: Programming Research Group, Oxford University, UK Lines: 41 In article <1957@svin02.info.win.tue.nl> devet@info.win.tue.nl writes: > >I read in a paper that there are two public domain style files for >typesetting Z specifications, called oz.sty (by Paul King) and zed.sty (by >J.M. Spivey). Does anybody know where I can get these files? Thanks in >advance. These (and other Z-related files) are available from 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.