ProofBuddy version 0.5 Released
Friday, June 16th, 2006 at 9:43pm in Releases
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.