Xref: utzoo comp.text.tex:4478 comp.specification:225 Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!uunet!mcsun!ukc!ox-prg!bowen From: bowen@prg.ox.ac.uk (Jonathan Bowen) Newsgroups: comp.text.tex,comp.specification Subject: Re: Wanted: LaTeX macros for Z (info) Message-ID: <1039@culhua.prg.ox.ac.uk> Date: 19 Dec 90 14:57:37 GMT References: <70136@unix.cis.pitt.edu> <6358@uqcspe.cs.uq.oz.au> Sender: news@prg.ox.ac.uk Reply-To: Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) Organization: Programming Research Group, Oxford University, UK Lines: 48 Readers may be interested in the message below, recently sent to the Z FORUM mailing listing (e-mail to join Z FORUM). I would be grateful if other (La)TeX archive sites (in the US in particular) would copy over this style file and documentation, and advertise the fact to save on global (especially trans-Atlantic) e-mail. Thanks. Happy Christmas and Happy Z-LaTeXing! -- Jonathan Bowen, PRG, Oxford University. -------------------------- Z FORUM message -------------------------- From: Mike.Spivey@prg.oxford.ac.uk Subject: New version of zed style option available Date: 14 Dec 90 10:43:03 GMT Now available is a new version of the LaTeX style option 'zed' for printing Z specifications. The two files "zed.sty" and "zguide.tex" are obtainable from the archive server at Oxford; the first of these defines the style option itself, and the second contains instructions for using it. [To obtain the files, send an e-mail message containing the command "send z zed.sty zguide.tex" to . For more information on the archive server, send the command "help". JPB] This version is compatible with the "fuzz.sty" macros distributed with the fuzz type-checker for Z, but like the old "zed.sty", it uses some fonts from the AMS in place of the special font of Z symbols that comes with fuzz. The results are not quite as good, but they are good enough for drafts. The present version does not work with SliTeX or with the new LaTeX font selection scheme. [For fuzz information and an order form, send the command "send z fuzz" to the PRG archive server. JPB] The zed style option and its documentation may be freely copied, distributed and used for any purpose except direct commercial gain, provided that they are copied and distributed as a whole and without modification. The author accepts no liablility for their accuracy or fitness for any purpose. -- Mike Spivey -- Jonathan Bowen, Oxford University Computing Laboratory.