20150715081890_remove_goals_from_proof_attempt_configuration.rb revision dea7bd6472ff9885a84db0566c3372c85575c656