zed – Typeset Z specifications
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.
Unknown Status, No Information Available
|Copyright||1988 J.M. Spivey
typeset formal specification languages
package only known to work with LaTeX 2.09
Download the contents of this package in one zip archive (8.8k).
Maybe you are interested in the following packages as well.
- zed-csp: Typesetting Z and CSP format specifications
- objectz: Macros for typesetting Object Z
- context-bnf: A BNF module for ConTeXt
- milstd: Generate documents according to MIL STD 490