RobArthan/pp — pull request #1 by ptroja (2014-08-11 22:19:38+00:00)
Title: Minor problems in LaTeX documentation and C code fixed

I spotted several issues while looking at the ProofPower. Patches included.