manifest.py revision 1636
89a126810703c666309310d0f3189e9834d70b5bTimo Sirainentree 1636:
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainen
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainen.gitkeep
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenability.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenaccess_token.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenaction.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenalternative_iri.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenapi_key.rb
0371406d952fe51367c7be91703e5634b7d9d225Timo Sirainenaxiom.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenaxiom_selection.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenc_edge.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainencategory.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainencode_reference.rb
61dca057fe86fd5ae57f5106f8f049b7287d78cdTimo Sirainencomment.rb
61dca057fe86fd5ae57f5106f8f049b7287d78cdTimo Sirainencommit.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainencommit_reference.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainendistributed_ontology.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainene_edge.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenfile_extension_mime_type_mapping.rb
22627da0fb77c1d0d9a8e8bc485ef5540b6f2e69Timo Sirainenformality_level.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainengenerated_axiom.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenhets_instance.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenkey.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenkey/
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenlanguage.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenlanguage_adjoint.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenlanguage_mapping.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenlicense_model.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenlogic.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenlogic_adjoint.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenlogic_mapping.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenmanual_axiom_selection.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenmapping.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenmapping_version.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenmetadatum.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenontology.rb
1285518f4f8905f22f5812d022a9f75b51752ed4Timo Sirainenontology/
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenontology_member/
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenontology_type.rb
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenontology_version.rb
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenontology_version/
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenoops_request.rb
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenoops_request/
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenoops_response.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenpermission.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenproject.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenproof_attempt.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenproof_attempt_configuration.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenproof_status.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenproof_status/
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenprover.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenprover_output.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenrepository.rb
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenrepository/
1ac19c5c2b66a12f5598792aad15114ee3eb62e2Timo Sirainenresource.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenreview.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensentence.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensentence/
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainenserialization.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensimple_ontology.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensine_axiom_selection.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensine_symbol_axiom_trigger.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensine_symbol_commonness.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensingle_ontology.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensupport.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensymbol_group.rb
6c2c5f20760b06bfb4a40b0ee2ef5ab016bc41f0Timo Sirainensymbol_mapping.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentactic_script.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentactic_script_extra_option.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentask.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenteam.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenteam_user.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentheorem.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentool.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainentranslated_sentence.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenurl_map.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenuser.rb
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainenuser/
dc9de21d4375faeedbe5b7e941502ac578650da9Timo Sirainen