jquery.truncate.js owl.js plugins/graph.js.coffee plugins/themes/apple/style.css plugins/themes/classic/style.css plugins/themes/default-rtl/style.css plugins/themes/default/style.css repository/clone-url.js.coffee repository_directories.js.coffee symbols.js.coffee tooltips.js.coffee /ontohub/app/assets/stylesheets/application.css.sass /ontohub/app/assets/stylesheets/axioms.css.sass /ontohub/app/assets/stylesheets/formats.sass /ontohub/app/assets/stylesheets/graphs.css /ontohub/app/assets/stylesheets/symbols.css.sass /ontohub/app/controllers/adjoints_controller.rb /ontohub/app/controllers/autocomplete_controller.rb /ontohub/app/controllers/children_controller.rb /ontohub/app/controllers/general_mappings_controller.rb /ontohub/app/controllers/graphs_controller.rb /ontohub/app/controllers/language_adjoints_controller.rb /ontohub/app/controllers/language_mappings_controller.rb /ontohub/app/controllers/logic_adjoints_controller.rb /ontohub/app/controllers/logic_mappings_controller.rb /ontohub/app/controllers/mappings_controller.rb /ontohub/app/controllers/ontologies_controller.rb /ontohub/app/controllers/ontology_versions_controller.rb /ontohub/app/controllers/polymorphic_resource/base.rb /ontohub/app/controllers/privilege_list/base.rb /ontohub/app/controllers/repository_directories_controller.rb /ontohub/app/controllers/symbols_controller.rb /ontohub/app/controllers/symbols_search_controller.rb /ontohub/app/helpers/application_helper.rb /ontohub/app/helpers/entity_helper.rb /ontohub/app/helpers/mapping_helper.rb /ontohub/app/helpers/navigation_helper.rb /ontohub/app/helpers/ontology_helper.rb /ontohub/app/helpers/repositories_helper.rb /ontohub/app/helpers/sentence_helper.rb /ontohub/app/helpers/symbol_helper.rb /ontohub/app/models/link_version.rb /ontohub/app/models/mapping.rb /ontohub/app/models/mapping_version.rb /ontohub/app/models/ontology.rb /ontohub/app/models/ontology/categories.rb /ontohub/app/models/ontology/mappings.rb /ontohub/app/models/ontology/sentences.rb /ontohub/app/models/ontology/symbols.rb /ontohub/app/models/oops_response.rb /ontohub/app/models/proof_status/creation_from_ontology.rb /ontohub/app/models/sentence.rb /ontohub/app/models/sentence/readability.rb /ontohub/app/models/structured_proof_part.rb /ontohub/app/models/symbol.rb /ontohub/app/models/symbol/readability.rb /ontohub/app/models/symbol/searching.rb /ontohub/app/models/symbol_group.rb /ontohub/app/models/symbol_mapping.rb /ontohub/app/models/translated_sentence.rb /ontohub/app/viewhelpers/logic_viewhelper.rb /ontohub/app/views/adjoints/_form.html.haml /ontohub/app/views/adjoints/edit.html.haml /ontohub/app/views/adjoints/new.html.haml /ontohub/app/views/adjoints/show.html.haml /ontohub/app/views/admin/status/_errored_ontologies.html.haml /ontohub/app/views/admin/status/_ontologies.html.haml /ontohub/app/views/admin/users/_user.html.haml /ontohub/app/views/categories/index.html.haml /ontohub/app/views/categories/show.html.haml /ontohub/app/views/children/_child.html.haml /ontohub/app/views/children/index.html.haml /ontohub/app/views/comments/_comment.html.haml /ontohub/app/views/devise/_mappings.html.haml /ontohub/app/views/devise/confirmations/new.html.haml /ontohub/app/views/devise/mailer/confirmation_instructions.html.haml /ontohub/app/views/devise/mailer/reset_password_instructions.html.haml /ontohub/app/views/devise/mailer/unlock_instructions.html.haml /ontohub/app/views/devise/passwords/edit.html.haml /ontohub/app/views/devise/passwords/new.html.haml /ontohub/app/views/devise/registrations/new.html.haml /ontohub/app/views/devise/sessions/new.html.haml /ontohub/app/views/devise/unlocks/new.html.haml /ontohub/app/views/errors/index.html.haml /ontohub/app/views/files/_show_dir.html.haml /ontohub/app/views/files/_show_file.html.haml /ontohub/app/views/files/show.html.haml /ontohub/app/views/formality_levels/_formality_level.html.haml /ontohub/app/views/formality_levels/show.html.haml /ontohub/app/views/general_mappings/_adjoints.html.haml /ontohub/app/views/general_mappings/_form.html.haml /ontohub/app/views/general_mappings/edit.html.haml /ontohub/app/views/general_mappings/new.html.haml /ontohub/app/views/general_mappings/show.html.haml /ontohub/app/views/graphs/index.html.haml /ontohub/app/views/home/_comments.html.haml /ontohub/app/views/home/_versions.html.haml /ontohub/app/views/home/show.html.haml /ontohub/app/views/kaminari/_first_page.html.haml /ontohub/app/views/kaminari/_last_page.html.haml /ontohub/app/views/kaminari/_next_page.html.haml /ontohub/app/views/kaminari/_prev_page.html.haml /ontohub/app/views/keys/_key.html.haml /ontohub/app/views/languages/_language.html.haml /ontohub/app/views/languages/_mappings.html.haml /ontohub/app/views/languages/_ontologies.html.haml /ontohub/app/views/languages/_serializations.html.haml /ontohub/app/views/languages/_supports.html.haml /ontohub/app/views/languages/index.html.haml /ontohub/app/views/layouts/application.html.haml /ontohub/app/views/layouts/mailer.html.haml /ontohub/app/views/license_models/_license_model.html.haml /ontohub/app/views/license_models/show.html.haml /ontohub/app/views/link_versions/_form.html.haml /ontohub/app/views/link_versions/edit.html.haml /ontohub/app/views/links/_link.html.haml /ontohub/app/views/logics/_distributed.html.haml /ontohub/app/views/logics/_heterogeneous_distributed.html.haml /ontohub/app/views/logics/_logic.html.haml /ontohub/app/views/logics/_mappings.html.haml /ontohub/app/views/logics/_ontologies.html.haml /ontohub/app/views/logics/_supports.html.haml /ontohub/app/views/logics/search.json.erb /ontohub/app/views/logics/show.html.haml /ontohub/app/views/mapping_versions/_form.html.haml /ontohub/app/views/mapping_versions/edit.html.haml /ontohub/app/views/mapping_versions/index.html.haml /ontohub/app/views/mappings/_form.html.haml /ontohub/app/views/mappings/_mapping.html.haml /ontohub/app/views/mappings/edit.html.haml /ontohub/app/views/mappings/index.html.haml /ontohub/app/views/mappings/new.html.haml /ontohub/app/views/mappings/show.html.haml /ontohub/app/views/ontologies/_info.html.haml /ontohub/app/views/ontologies/_ontology.html.haml /ontohub/app/views/ontologies/_ontology_search_response.html.haml /ontohub/app/views/ontologies/index_repository.html.haml /ontohub/app/views/ontologies/show.html.haml /ontohub/app/views/ontology_types/show.html.haml /ontohub/app/views/ontology_versions/_ontology_version.html.haml /ontohub/app/views/permissions/_form.html.haml /ontohub/app/views/projects/_project.html.haml /ontohub/app/views/projects/show.html.haml /ontohub/app/views/repositories/_clone_url.html.haml /ontohub/app/views/repositories/_repository.html.haml /ontohub/app/views/repositories/edit.haml /ontohub/app/views/repositories/index.html.haml /ontohub/app/views/repositories/new.html.haml /ontohub/app/views/repository_settings/_subnav.html.haml /ontohub/app/views/repository_settings/index.html.haml /ontohub/app/views/review/edit.html.haml /ontohub/app/views/review/new.html.haml /ontohub/app/views/sentences/_sentence.html.haml /ontohub/app/views/serializations/index.html.haml /ontohub/app/views/serializations/show.html.haml /ontohub/app/views/shared/_navbar.html.haml /ontohub/app/views/shared/_subnavigation.html.haml /ontohub/app/views/shared/_user_repositories.html.haml /ontohub/app/views/symbols/_list.html.haml /ontohub/app/views/symbols/_node.html.haml /ontohub/app/views/symbols/_treeview.html.haml /ontohub/app/views/symbols/index.html.haml /ontohub/app/views/symbols_search/_group.html.haml /ontohub/app/views/symbols_search/_hit.html.haml /ontohub/app/views/symbols_search/index.html.haml /ontohub/app/views/tasks/_task.html.haml /ontohub/app/views/tasks/show.html.haml /ontohub/app/views/team_users/_form.html.haml /ontohub/app/views/team_users/_team_user.html.haml /ontohub/app/views/teams/index.html.haml /ontohub/app/views/teams/permissions/_permission.haml /ontohub/app/views/teams/permissions/index.html.haml /ontohub/app/views/teams/show.html.haml /ontohub/app/views/tools/edit.html.haml /ontohub/app/views/tools/index.html.haml /ontohub/app/views/tools/new.html.haml /ontohub/app/views/users/_comments.html.haml /ontohub/app/views/users/_versions.html.haml /ontohub/config/application.rb /ontohub/config/external_mapping_mapping.yml /ontohub/config/i18n-tasks.yml /ontohub/config/initializers/devise.rb /ontohub/config/locales/devise.en.yml /ontohub/config/locales/en.yml /ontohub/config/routes.rb /ontohub/config/settings.yml /ontohub/config/sunspot.yml /ontohub/db/migrate/20141215175503_rename_via_script.rb /ontohub/lib/aggregatable.rb /ontohub/lib/external_mapping.rb /ontohub/lib/graph_data_fetcher.rb /ontohub/lib/graph_structures/specific_fetchers/mappings.rb /ontohub/lib/hets/node_evaluation_helper.rb /ontohub/lib/hets/node_evaluator.rb /ontohub/lib/hets/nokogiri_listener.rb /ontohub/lib/logicgraph_parser.rb /ontohub/lib/ontology_parser.rb /ontohub/lib/ontology_search.rb /ontohub/lib/parsing_callback/generic_callback.rb /ontohub/lib/parsing_callback/owl.rb /ontohub/lib/tarjan_tree.rb /ontohub/lib/triple_store.rb /ontohub/spec/controllers/autocomplete_controller_spec.rb /ontohub/spec/controllers/comments_controller_spec.rb /ontohub/spec/controllers/graphs_controller_spec.rb /ontohub/spec/controllers/ontologies_controller_spec.rb /ontohub/spec/controllers/repositories_controller_spec.rb /ontohub/spec/controllers/symbols_controller_spec.rb /ontohub/spec/controllers/team_users_controller_spec.rb /ontohub/spec/factories/adjoint_factory.rb /ontohub/spec/factories/c_edge_factory.rb /ontohub/spec/factories/category_factory.rb /ontohub/spec/factories/comment_factory.rb /ontohub/spec/factories/formality_level_factory.rb /ontohub/spec/factories/git_repository_factory.rb /ontohub/spec/factories/hets_instance_factory_factory.rb /ontohub/spec/factories/key_factory.rb /ontohub/spec/factories/language_factory.rb /ontohub/spec/factories/license_model_factory.rb /ontohub/spec/factories/logic_factory.rb /ontohub/spec/factories/mapping.rb /ontohub/spec/factories/mapping_factory.rb /ontohub/spec/factories/ontology_factory.rb /ontohub/spec/factories/ontology_type_factory.rb /ontohub/spec/factories/ontology_version_factory.rb /ontohub/spec/factories/oops_factory.rb /ontohub/spec/factories/permission_factory.rb /ontohub/spec/factories/project_factory.rb /ontohub/spec/factories/repository_factory.rb /ontohub/spec/factories/sentence_factory.rb /ontohub/spec/factories/serialization_factory.rb /ontohub/spec/factories/svn_repository_factory.rb /ontohub/spec/factories/symbol_factory.rb /ontohub/spec/factories/symbol_group_factory.rb /ontohub/spec/factories/task_factory.rb /ontohub/spec/factories/team_factory.rb /ontohub/spec/factories/url_map_factory.rb /ontohub/spec/factories/user_factory.rb /ontohub/spec/lib/external_mapping_spec.rb /ontohub/spec/lib/oops_request/responses_spec.rb /ontohub/spec/lib/tarjan_spec.rb /ontohub/spec/models/graph_data_fetcher_spec.rb /ontohub/spec/models/mapping_spec.rb /ontohub/spec/models/ontology_spec.rb /ontohub/spec/models/repository/symlink_spec.rb /ontohub/spec/models/repository_spec.rb /ontohub/spec/models/sentence_spec.rb /ontohub/spec/models/symbol_group_spec.rb /ontohub/spec/models/symbol_mapping_spec.rb /ontohub/spec/models/symbol_spec.rb /ontohub/spec/routing/entities_search_routing_spec.rb /ontohub/spec/routing/symbols_routing_spec.rb /ontohub/spec/routing/symbols_search_routing_spec.rb

/ontohub/Gemfile /ontohub/Gemfile.lock application.js jquery.truncate.js repository_files.js /ontohub/app/assets/stylesheets/application.css.sass /ontohub/app/assets/stylesheets/repository.css.sass /ontohub/app/controllers/repositories_controller.rb /ontohub/app/helpers/breadcrumbs_helper.rb /ontohub/app/helpers/link_helper.rb /ontohub/app/models/repository/git_repositories.rb /ontohub/app/views/repositories/_files_dir.html.haml /ontohub/app/views/repositories/_files_file_base.html.haml /ontohub/app/views/repositories/_files_file_base_ambiguous.html.haml /ontohub/lib/git_repository.rb /ontohub/lib/git_repository/get_info_list.rb