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

[PVS-Help] Latex output




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



 

_________________________________________________________________
Who's friends with who and co-starred in what?
http://www.searchgamesbox.com/celebrityseparation.shtml