20140615175553_init_schema.rb 20140723173451_set_ontology_id_on_translated_sentence_correctly.rb 20140818111257_add_parent_ontology_version_to_ontology_version.rb 20140820120712_create_access_tokens.rb 20140823134758_add_default_and_not_null_to_ontology_count_fields.rb 20140903072158_add_destroying_to_repository.rb 20140903155802_create_hets_instances.rb 20140905164432_remove_xml_path_from_ontology_versions.rb 20140915123503_move_to_has_and_belongs_to_many_for_ontologies_tasks.rb 20140915123504_move_to_has_and_belongs_to_many_for_ontologies_tasks_end.rb 20140915131740_move_to_belongs_to_for_ontologies_formality_levels.rb 20140916084320_add_remote_type_to_repository.rb 20141008133828_add_has_file_to_ontology.rb 20141022081418_add_slug_to_logics.rb 20141112093822_remove_is_axiom_and_is_definition_from_sentences.rb 20141112094022_add_type_to_sentences.rb 20141112094801_create_proof_attempts.rb 20141112095635_add_proof_state_to_theorem.rb 20141112202311_add_proof_statuses.rb 20141113131712_add_theorems_count_to_ontologies.rb 20141129092546_remove_source_url_from_ontology_versions.rb 20141206161905_create_file_extension_mime_type_mappings.rb 20141206163145_add_mappings_to_file_extension_mime_type_mappings.rb 20141215175503_rename_via_script.rb 20150120154527_add_loc_id_to_ontologies.rb 20150122102645_add_loc_id_to_symbols.rb 20150124165322_add_loc_id_to_sentences.rb 20150124174133_add_loc_id_to_mappings.rb 20150128133702_create_commits.rb 20150128141231_add_commit_reference_to_ontology_version.rb 20150207100558_create_used_axioms_proof_attempts_join_table.rb 20150215110256_add_destroy_job_id_to_repository.rb 20150217121518_create_loc_ids_for_existing_ontologies.rb 20150219082907_create_generated_axioms.rb 20150219124905_add_number_to_proof_attempt.rb 20150311125212_make_sentences_to_axioms.rb 20150311132939_add_axioms_count_to_ontologies.rb 20150311193056_create_provers.rb 20150311194246_associate_provers_with_ontology_versions.rb 20150313065037_use_prover_reference_in_proof_attempts.rb 20150320113702_add_state_to_proof_attempts_and_theorems.rb 20150320135159_create_proof_attempt_configurations.rb 20150323043025_add_loc_id_to_proof_attempt.rb 20150325061425_add_loc_id_to_proof_attempt_configuration.rb 20150327102802_create_prover_outputs.rb 20150329121431_create_api_keys.rb 20150403094308_add_locid_to_proof_status.rb 20150404085450_dasherize_locids.rb 20150404102423_create_actions.rb 20150404184231_set_theoroidalness_to_unknown_where_nil.rb 20150409051342_create_tactic_scripts.rb 20150409051349_create_tactic_script_extra_options.rb 20150409051440_move_tactic_script_from_proof_attempt_to_separate_model.rb 20150411070314_index_name_of_proof_statuses_table.rb 20150412122542_add_slug_to_logic_mapping.rb 20150420141258_add_display_name_to_prover.rb 20150607113504_remove_iri_from_ontology.rb 20150625074341_add_axiom_selections.rb 20150714110820_remove_ontology_from_proof_attempt_configuration.rb 20150715081827_init_schema.rb 20150715081827_remove_number_and_locid_from_proof_attempt_configuration.rb