derekrazo/ProofProject — pull request #6 by irongavel (2013-07-26 02:15:06+00:00)
Title: Fixed extendProof bug that derek found earlier.

Cause was multiple versions of code flying around, we need the code to be merged often or we'll keep getting stupid bugs like this.