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

[PVS-Help] Latex output



Hi,

I have managed to generate LaTeX for completed proofs but is it possible to generate it for those that have not been finished?

I have not completed one and have run out of time in my final year honours project at university but it will be nice to have it in my report.

Many Thanks

Andy Harding



 

_________________________________________________________________
Get Hotmail on your mobile. Text MSN to 63463 now!
http://mobile.uk.msn.com/pc/mail.aspx