About CZT ZSideKick jEdit Plugin

jEdit Plugin for parsing and typechecking Z specifications.