linter-czt package

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 oz.

I recommend the use of latextools and pdf-view for editing LaTeX documents, including Z specifications. Without the language-latex extension installed, this linter will not activate.