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

[PVS-Help] Latex output


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!