Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

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

Sources/macros/latex/contrib/objectz
Doc­u­men­ta­tion
Home pagehttp://www.itee.uq.edu.au/~smith/ob­jectz.html
Li­censeThe LaTeX Project Public Li­cense
Copy­right1995-1999 Se­bas­tian Rahtz
Main­tainerSe­bas­tian Rahtz
David Lead­bet­ter (in­ac­tive)
Con­tained inTeXlive 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