ProofBuddy 1.0rc2 Released
Monday, July 30th, 2007 at 4:01pm in Releases
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.