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

[Sam Owre <owre@xxxxxxxxxxx>]

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.

Regards,
Sam

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