Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

Direc­tory tex-archive/macros/latex/contrib/zed-csp

Files

Name Size Date Notes
csp2e.pdf 112501 2005-08-06 04:26
csp2e.tex 14892 1995-09-12 01:00
zed-csp.sty 31787 1995-09-12 01:00
zed2e.pdf 147037 2005-08-06 04:26
zed2e.tex 26545 1995-09-12 01:00

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

zed-csp – Type­set­ting Z and CSP for­mat spec­i­fi­ca­tions

The pack­age sup­ports real-time CSP and in­cor­po­rates the func­tion­al­ity of Spivey's orig­i­nal Z pack­age, writ­ten for LaTeX 2.09.

Pack­age De­tailszed-csp
Li­censeFree li­cense not oth­er­wise listed, or more than one free li­cense ap­plies
Copy­right1995 Jim Davies
Main­tainerMike Spivey
Jim Davies
Con­tained inTeXlive as zed-csp
MikTeX as zed-csp
Topics type­set for­mal spec­i­fi­ca­tion lan­guages
See also objectz
Guest Book Sitemap Contact