The third, and hopefully final, release candidate for version 0.7 of ProofBuddy is now available for download.