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

Re: [PVS-Help] Latex - Bad math delimiter

Hi Andy,

Please send me the PVS file (the LaTeX file is probably not necessary),
and I'll try and fix this as quickly as I can.


Andrew Mark Harding <hardina5@cs.man.ac.uk> wrote:

> 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
> ---------------------------------