ProofBuddy version 1.0 has been released to a set of beta testers for the first round of public testing.  Hopefully the final version of 1.0 will be available for public download within the next few weeks.