CTAN Comprehensive TeX Archive Network

objectz – Macros for typesetting Object Z

The package will typeset both Z and Object-Z specifications; it develops the original zed package

LicensesThe Project Public License
Copyright1995–1999 Sebastian Rahtz
MaintainerDavid Leadbetter (inactive)
Sebastian Rahtz (deceased)
Contained inTeX Live as objectz
MiKTeX as objectz
TopicsFormal specification
See alsozed-csp

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

Community Comments

Guest Book Sitemap Contact Contact Author