ProverGUI.glade for revision 8f31d51d47da96200437dd3af1d785cd88a46f71 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.