Comprehensive TeX Archive Network

objectz – Macros for typesetting Object Z

The pack­age will type­set both Z and Ob­ject-Z spec­i­fi­ca­tions; it de­vel­ops the orig­i­nal zed pack­age

Home pagehttp://www.itee.uq.edu.au/~smith/ob­jectz.html
Li­censeThe LaTeX Project Public Li­cense
Main­tainerSe­bas­tian Rahtz
David Lead­bet­ter (in­ac­tive)
Con­tained inTeX Live as ob­jectz
MiKTeX as ob­jectz
Topics type­set for­mal spec­i­fi­ca­tion lan­guages
See also zed-csp

Down­load the con­tents of this pack­age in one zip archive (275.5k).

Guest Book Sitemap Contact Contact Author