t_elf.py revision 3236
tree 3236:
20140615175553_init_schema.rb
20140818111257_add_parent_ontology_version_to_ontology_version.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
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
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
20150329121431_create_api_keys.rb