The second release candidate version of ProofBuddy has been released.  All patches that were released for 1.0rc1 have been applied to this release along with several others.

This release has been replaced.  Please visit the downloads page for the most recent updates.