Cross Reference: /ontohub/spec/fixtures/vcr/api/json-schemata/proof

History log of /ontohub/spec/fixtures/vcr/api/json-schemata/proof_status.yml
Revision		Date	Author	Comments Expand
4d437fdae7216cb88d5f093833b1c0166ef2a53b		17-Jan-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Adjust API JSON schema VCR fixtures to use new Github repository. action.yml formality_level.yml license_model.yml logic.yml logic_mapping.yml mapping.yml ontology.yml ontology/children.yml ontology/mappings.yml ontology/ontology_versions.yml ontology/proof_attempt.yml ontology/proof_attempt_configuration.yml ontology/prover_output.yml ontology/sentences.yml ontology/symbols.yml ontology/theorem.yml ontology_type.yml ontology_version.yml proof_status.yml repository.yml repository/combinations/202.yml repository/combinations/400.yml sentence.yml symbol.yml
9940047ec4fd0ef151dfddd4253534eafa8c900c		27-Apr-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Update VCR cassettes to use new json schemata. formality_level.yml license_model.yml logic.yml logic_mapping.yml mapping.yml ontology.yml ontology/children.yml ontology/mappings.yml ontology/ontology_versions.yml ontology/proof_attempt.yml ontology/proof_attempt_configuration.yml ontology/prover_output.yml ontology/sentences.yml ontology/symbols.yml ontology/theorem.yml ontology_type.yml ontology_version.yml proof_status.yml repository.yml sentence.yml symbol.yml