[CZT-Users] Help with getting started

[Stephen T. <to...@au...>]

After slogging through trying to build my own version of czt I
downloaded the binary from Petra's web page. Now I am familiar with Z
after having taken a class on formal methods but by no means an expert.
As a part of the class we had to put together a Z specification. So I
thought I would try to use the zedtypecheck to see how I did. Well I got
a few errors that I don't understand:

storri@base ~/src/czt_0_4_bin/bin $ ./zedtypecheck ~/Documents/StephenTorri/comp7730/project/project.tex
Jan 27, 2006 12:33:42 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \tfun
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \tfun
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \times
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \times
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \tfun
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \rightarrow
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \rightarrow
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \rightarrow
Jan 27, 2006 12:33:43 AM class net.sourceforge.czt.parser.z.Latex2Unicode
SEVERE: Unknown latex command \rightarrow
"/home/storri/Documents/StephenTorri/comp7730/project/project.tex" line 20 column 1: Syntax error at symbol RELATION
"/home/storri/Documents/StephenTorri/comp7730/project/project.tex" line 30 column 1: Syntax error at symbol PARENTS
"/home/storri/Documents/StephenTorri/comp7730/project/project.tex" line 97 column 13: Expression expected; found predicate
"/home/storri/Documents/StephenTorri/comp7730/project/project.tex" line 98 column 13: Expression expected; found predicate
"/home/storri/Documents/StephenTorri/comp7730/project/project.tex" line 99 column 9: Expression expected; found predicate

Would the latex files be helpful? I don't get an error running latex to
build my paper so I don't think I have bad files.

Stephen
-- 
PhD. Candidate
Auburn University
Department of Computer Science and Software Engineering
107 Dunstan Hall
Auburn, AL 36849-5347  U.S.A.
(334) 844-4330 (O)
to...@au...