[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Latex - Bad math delimiter



Hi,

I am trying to generate latex output for proof (I dont have the latex
file on this machine, I can send later if needed) but it can't compile
the .tex file due to "Bad math environment delimiter.

It works for some of the previous proofs I have completed but not for
two.

Many Thanks 

-- 
Andy Harding
CS PASS Intern
School Of Computer Science
The University Of Manchester
Oxford Road
M13 9PL

Tel: 07837936928
Email: hardina5@cs.man.ac.uk
---------------------------------