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

Re: [PVS-Help] Latex output



Hi Andy,

It's difficult to say without seeing your latex files - any chance you can
send them to me for diagnosis?  Just send the PVS latex file, and a simple
latex file that (tries to) include it.

Thanks,
Sam Owre

Andy Harding <andyharding123@hotmail.com> wrote:

> Hi, 
> 
> I am trying to include the PVS generated latex files in my latex report but failing miserably.
> 
> I am getting a message saying they are only allowed in the preamble or when I just include the .tex files i get nothing.
> 
> Am I missing something simple?
> 
> Regards
> 
> Andy Harding