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.