I'm finally trying to upgrade from a very old fuzz type checker for Spivey Z to CZT and ISO Z, and am getting a lot of errors when running CZT on my latex files (which I expected). Unfortunately after an hour or so of searching have found no documentation for (a) how to find an appropriate .sty or .cls file for latex nor (b) some equivalent of the old zguide.pdf that would help me figure out how to update my latex commands to work with CZT. Can anyone tell me where to find any such documentation? I've searched the sourceforge site, zuser.org, the wikipedia entry, and have used about a half-dozen different Google searches.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Sorry for a delayed reply - mailing list questions are usually answered faster, while forums are checked only occasionally..
I can find a czt.sty file in the source code repository: /dtx/z/czt.sty. There is also a document about using the style file: czt-guide.pdf. Check out the whole directory under /dtx/z for other CZT LaTeX resources.
I am not sure if there is a migration guide from Spivey Z to ISO Z. Some of the differences (I don't know how comprehensive) are noted here.
Would these resources be helpful?
P.S. I have also created a feature request to make these resources available from the website. Hopefully we will do this soon.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
There is a conversion tool from fuzz to CZT included in the Z Word Tools available on https://sourceforge.net/projects/zwordtools. You can download the standalone java tool without the rest of the Word stuff if you want. This tool will get your latex through the typechecker (excepting some really weird constructs it can't cope with) but I've not checked, I'm afraid, whether the result formats sensibly in LaTeX.
Last edit: Andrius Velykis 2013-05-30
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I'm finally trying to upgrade from a very old fuzz type checker for Spivey Z to CZT and ISO Z, and am getting a lot of errors when running CZT on my latex files (which I expected). Unfortunately after an hour or so of searching have found no documentation for (a) how to find an appropriate .sty or .cls file for latex nor (b) some equivalent of the old zguide.pdf that would help me figure out how to update my latex commands to work with CZT. Can anyone tell me where to find any such documentation? I've searched the sourceforge site, zuser.org, the wikipedia entry, and have used about a half-dozen different Google searches.
Hi David,
Sorry for a delayed reply - mailing list questions are usually answered faster, while forums are checked only occasionally..
I can find a
czt.styfile in the source code repository:/dtx/z/czt.sty. There is also a document about using the style file: czt-guide.pdf. Check out the whole directory under/dtx/zfor other CZT LaTeX resources.I am not sure if there is a migration guide from Spivey Z to ISO Z. Some of the differences (I don't know how comprehensive) are noted here.
Would these resources be helpful?
P.S. I have also created a feature request to make these resources available from the website. Hopefully we will do this soon.
There is a conversion tool from fuzz to CZT included in the Z Word Tools available on https://sourceforge.net/projects/zwordtools. You can download the standalone java tool without the rest of the Word stuff if you want. This tool will get your latex through the typechecker (excepting some really weird constructs it can't cope with) but I've not checked, I'm afraid, whether the result formats sensibly in LaTeX.
Last edit: Andrius Velykis 2013-05-30