Lint Z specifications with the Community Z Tools.
Included is a binary distribution of the CZT checker, compiled with a patch to include triggering error length information. The source for CZT is available online at http://czt.sourceforge.net/, and the patch is included in this package's distribution and source. The license for CZT is included in
COPYING.txt alongside the distribution.
A working install of Java 8 must be available; if it's not on your system path, please specify its location in the package settings.
The linter will detect any of the ISO standard Z LaTeX environments in any
LaTeX files, and enable CZT linting automatically. You can control the Z
dialect used either by setting the default dialect in the package settings,
or by putting
% !Z-notation: <dialect> as the first line in your file. The preset default dialect is
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.