• Packages
  • Themes
  • Documentation
  • Blog
  • Discussions
Sign in

linter-czt

Lint Z specifications with CZT
codebje
0.7.0 445
0
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

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.

I think this package is bad news.

Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.

  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by