Directory macros/latex209/contrib/zed

Download the contents of this package in one zip archive (8.8k).

zed – Typeset Z specifications

A LaTeX 2.09 package for the task; it has been re-implemented for current LaTeX in zed2e and ObjectZ.

Note that this package, as it stands, uses the MSX and MSY fonts, which are no longer available (though virtual fonts are available that map them to the more recent MSA and MSB fonts.

Package	zed
Version	1988-02-15
Copyright	1988 J.M. Spivey
Maintainer	Mike Spivey
Topics	LaTeX209 Formal specification