There have been several bugs discovered by the early downloaders of ProofBuddy 1.0rc1.  Patches are available on the forums.

For all users

For those upgrading on a server with MySQL prior to version 4.1 

If you are using version 1.0rc1 please download and install these patches.  They will be rolled into rc2 when it becomes available.