texlive-zed-csp - Typesetting Z and CSP format specifications
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Zed |
- Description:
The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09. date: 2008-04-05 21:05:50 +0200
Packages
| texlive-zed-csp-svn17258.0-1.1.el7.fc21.noarch [25 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |