texlive-zed-csp - Typesetting Z and CSP format specifications
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Zed |
| Vendor: | Alcance Libre, Inc. |
- Description:
The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.
Packages
| texlive-zed-csp-svn17258.0-46.fc14.al.noarch [50 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |