History log of /ontohub/spec/fixtures/vcr/api/json-schemata/ontology/proof_attempt.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.

/ontohub/spec/fixtures/vcr/api/json-schemata/action.yml /ontohub/spec/fixtures/vcr/api/json-schemata/formality_level.yml /ontohub/spec/fixtures/vcr/api/json-schemata/license_model.yml /ontohub/spec/fixtures/vcr/api/json-schemata/logic.yml /ontohub/spec/fixtures/vcr/api/json-schemata/logic_mapping.yml /ontohub/spec/fixtures/vcr/api/json-schemata/mapping.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology.yml children.yml mappings.yml ontology_versions.yml proof_attempt.yml proof_attempt_configuration.yml prover_output.yml sentences.yml symbols.yml theorem.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology_type.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology_version.yml /ontohub/spec/fixtures/vcr/api/json-schemata/proof_status.yml /ontohub/spec/fixtures/vcr/api/json-schemata/repository.yml /ontohub/spec/fixtures/vcr/api/json-schemata/repository/combinations/202.yml /ontohub/spec/fixtures/vcr/api/json-schemata/repository/combinations/400.yml /ontohub/spec/fixtures/vcr/api/json-schemata/sentence.yml /ontohub/spec/fixtures/vcr/api/json-schemata/symbol.yml
887279413a918b52381be6e9ee49f0ba240abe36 28-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Update VCR cassette for the ProofAttempt.
9940047ec4fd0ef151dfddd4253534eafa8c900c 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Update VCR cassettes to use new json schemata.

/ontohub/spec/fixtures/vcr/api/json-schemata/formality_level.yml /ontohub/spec/fixtures/vcr/api/json-schemata/license_model.yml /ontohub/spec/fixtures/vcr/api/json-schemata/logic.yml /ontohub/spec/fixtures/vcr/api/json-schemata/logic_mapping.yml /ontohub/spec/fixtures/vcr/api/json-schemata/mapping.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology.yml children.yml mappings.yml ontology_versions.yml proof_attempt.yml proof_attempt_configuration.yml prover_output.yml sentences.yml symbols.yml theorem.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology_type.yml /ontohub/spec/fixtures/vcr/api/json-schemata/ontology_version.yml /ontohub/spec/fixtures/vcr/api/json-schemata/proof_status.yml /ontohub/spec/fixtures/vcr/api/json-schemata/repository.yml /ontohub/spec/fixtures/vcr/api/json-schemata/sentence.yml /ontohub/spec/fixtures/vcr/api/json-schemata/symbol.yml
31bbf3bf2c72e9fea42db2512ebc5a4c19f42c93 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add API ProofAttemptsController spec.