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.