ProofBuddy 0.7 RC1 Released
Tuesday, December 26th, 2006 at 9:48pm in Releases
The first release candidate version of ProofBuddy version 0.7 is now available for download. Note that this considered a pre-release version and may have functional bugs, although there are not any known bugs.