20150708074420_remove_goals_from_proof_attempt_configuration.rb revision b56109f8183ec717e6760a8562b5d97a8540f55f