proof_status.rb for revision e200ddd4b78a4915a072095be2a2e6cac65ed333 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.