Version:
Copyright:
Sebastian Rahtz
License:
lppl
Packaged on:
7/16/2016 7:00:23 PM
Number of files:
5
Size on disk:
341.44 kB

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