You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| zed-csp | Typesetting Z and CSP format specifications. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| csp2e.pdf | 110 KiB | 2005-Aug-06 | |
| csp2e.tex | 15 KiB | 1995-Sep-11 | |
| zed-csp.sty | 31 KiB | 1995-Sep-11 | |
| zed2e.pdf | 144 KiB | 2005-Aug-06 | |
| zed2e.tex | 26 KiB | 1995-Sep-11 |
*File sizes in kibibytes.