Open a proof and select view all versions in the side bar. This will show you a list of all of the current versions of the proof. Click + New Version and upload your new file: