Fix incorrect Proof commands#854

andrew-appel merged 1 commit intoPrincetonUniversity:masterPrincetonUniversity/VST:masterfrom

SkySkimmer:warn-missing-proofSkySkimmer/VST:warn-missing-proofCopy head branch name to clipboard