20150714110820_remove_ontology_from_proof_attempt_configuration.rb revision 25f85f6174d2238cc1ea058fa129cb65961cf54a