name zed-csp
category Package
revision 17258
shortdesc Typesetting Z and CSP format specifications.
relocated 1
longdesc The package supports real-time CSP and incorporates the
longdesc functionality of Spivey's original Z package, written for LaTeX
longdesc 2.09.
runfiles size=8
 RELOC/tex/latex/zed-csp/zed-csp.sty
catalogue-ctan /macros/latex/contrib/zed-csp
catalogue-date 2012-03-30 15:19:52 +0200
catalogue-license other-free