[CZT-Users] Re: Help with getting started

[Petra M. <pe...@cs...>]

Hi Stephen,

Stephen wrote:
> Thanks. The sty files worked for building the ps files via latex. What I
> don't see from the manual is what do I do when I only have a latex file.
> That is I want to test the object-z specification I have in my latex
> file and I am new to czt. I tried to run oztypecheck against pirate.tex

This is the right way to go.

> and got an NullPointerException:

And this is obviously a bug in the CZT typechecker.
I tested pirate.tex with the current CVS version of the typechecker and
it seems to work so I guess the bug has already been fixed.

> How do I download the cvs version? When I tried to
> download czt via cvs I could not locate the correct module to use.

The correct module is just ".", the root directory.


I am currently working on the jEdit plugin and it now supports Object Z
parsing and typechecking.  If you want, I can send you the jar files for
that and you could test it for me.  :-)

Alternatively, if you still have problems with building CZT from the CVS
sources, I can also send you the jar files for the current version.

Petra