The 4th public release candidate of ProofBuddy version 1.0 is now available for download.

Please note that this is still considered a pre release version and while we have done everything we can to assure its stability, it may contain bugs.

Upgrading from 1.0rc3
Simply upload the contained files over your current installation.  No database changes need to be made.

Upgrading from 0.7
Upload over your current installation.  The next time you go to your site you will be prompted to update the database to complete the upgrade.