GoProof Extension Message and Deadlines

GoProof Extension Message and Deadlines