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

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.

Version 0.6.01 is primarily a bug fix release.  It is recommended that all users upgrade to version 0.6.01.

Version 0.6 is available for download.

ProofBuddy 0.5 has been released.  Major features include a user system, help for the admin user, better error checking,  support for Windows servers, and new theme variables.

You can download the new version and read the release notes on the download page.

Version 0.3 has been released and is available for download from our download page.

Yes, I know it’s only been about 8 hours since I released v0.2, but there were some major features added and bugs squashed.  Enough that I thought it warranted a new release.

Version 0.2 beta has been released and is available for download from our download page.

Beta version 0.1 of ProofBuddy has been released and can be downloaded from the download page.