pf2html LATEX2HTML + pf.sty (hypertext proofs)

current version: 0.03 (2002-05-29)

• pf.perl - perl interface
• pf.pm - perl module
• pf.config - configuration
• COPYING - GNU General Public License
• README - Informations about the project and the installation
• TODO - ToDo List
• HISTORY - History

• all files (tgz)

You also need the Lamport proof style:

• pf.sty - Lamport proof style