History log of /ontohub/app/views/logics/show.html.haml
Revision Date Author Comments Expand
d8f08fd7d152b86c580c1ae3bafff3ed5c404f57 05-Jan-2015 Model Renamer <bot-rename@ontohub.org>

Revert renaming in logic_viewhelper and related.
67ea9fccbdc154cf2418f16ab8883ccfcbc77b51 05-Jan-2015 Model Renamer <bot-rename@ontohub.org>

Run rename refactor script.

/ontohub/app/assets/javascripts/jquery.truncate.js /ontohub/app/assets/javascripts/owl.js /ontohub/app/assets/javascripts/plugins/graph.js.coffee /ontohub/app/assets/javascripts/plugins/themes/apple/style.css /ontohub/app/assets/javascripts/plugins/themes/classic/style.css /ontohub/app/assets/javascripts/plugins/themes/default-rtl/style.css /ontohub/app/assets/javascripts/plugins/themes/default/style.css /ontohub/app/assets/javascripts/repository/clone-url.js.coffee /ontohub/app/assets/javascripts/repository_directories.js.coffee /ontohub/app/assets/javascripts/symbols.js.coffee /ontohub/app/assets/javascripts/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 _distributed.html.haml _heterogeneous_distributed.html.haml _logic.html.haml _mappings.html.haml _ontologies.html.haml _supports.html.haml search.json.erb 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
3825216d42d9a877220e05c0070f72ac1f3c42aa 11-Nov-2014 Tim Reddehase <robustus@rightsrestricted.com>

respect newlines when displaying logic description.
6f91bdc1c03bee33882518bd6b5f072968562061 22-Sep-2014 Sascha Graef <sgraef@informatik.uni-bremen.de>

remove all possibilitiy to change a Logic via view
24e0ce1d4adb31179cda93fa612c3df8268bf63b 26-Oct-2013 henning mueller <henning@orgizm.net>

More refactoring and repair of forms.

/ontohub/app/assets/stylesheets/application.css.sass /ontohub/app/assets/stylesheets/components/_table.css.sass /ontohub/app/assets/stylesheets/components/table.css.sass /ontohub/app/assets/stylesheets/no-bullet.css.sass /ontohub/app/views/admin/users/_form.html.haml /ontohub/app/views/comments/_form.html.haml /ontohub/app/views/devise/registrations/edit.html.haml /ontohub/app/views/files/new.html.haml /ontohub/app/views/keys/index.html.haml /ontohub/app/views/link_versions/_form.html.haml /ontohub/app/views/links/edit.html.haml /ontohub/app/views/links/show.html.haml _form.html.haml index.html.haml show.html.haml /ontohub/app/views/metadata/_form.html.haml /ontohub/app/views/metadata/_metadatum.html.haml /ontohub/app/views/metadata/index.html.haml /ontohub/app/views/ontologies/_oops_state.html.haml /ontohub/app/views/ontologies/edit.html.haml /ontohub/app/views/repositories/index.html.haml /ontohub/app/views/teams/_form.html.haml /ontohub/app/views/teams/edit.html.haml /ontohub/app/views/teams/index.html.haml /ontohub/app/views/teams/new.html.haml /ontohub/config/initializers/simple_form.rb /ontohub/config/initializers/simple_form_bootstrap.rb
9944f9ad03dcd4d4b408ceba3043d6225a6b63e9 24-Oct-2013 Tim Reddehase <robustus@rightsrestricted.com>

Fix link_to calls for embedded logic views.
0d72955a51d8dbff9564b0983239561cff4bff56 19-Sep-2013 Tim Reddehase <robustus@rightsrestricted.com>

add integration of logic graph link - Includes new View-Settings Helper: LogicViewhelper - remove obsolete graphs-partial in in logics view-directory.
76e1d31005569988e6b629f10350fac7c10d181a 27-Aug-2013 Tim Reddehase <robustus@rightsrestricted.com>

add counts to DO-tabs Add counts of the given ontologies for the ontology and distributed ontology tabs in logics#show.
3af118695056ef1eba8d1980768c64631744a198 25-Aug-2013 Tim Reddehase <robustus@rightsrestricted.com>

fix active-tab display issue.
39c4771c707df2e99dd89378a82b21682deb90f5 25-Aug-2013 Tim Reddehase <robustus@rightsrestricted.com>

add tabs to logics#show view The Logics show page is now somewhat more analogue to 'the show page' of ontologies.
c5b3ddfcdaeb6e69bb480020ee260bc94f96c85c 09-Apr-2013 Christian Clausen <cclausen@tzi.de>

logic-graph with depth see #138
4d946ab78d026f3aab150db33c5c5af30863c15b 09-Apr-2013 Christian Clausen <cclausen@tzi.de>

generate logic-mapping-graph with JIT see #138
6d266a09d84193b35d246dd27ad27314d0d9d232 21-Mar-2013 Christian Clausen <cclausen@tzi.de>

Add Ontologies to Language/Logic-View #122
9207b76195d960634cc7bf91a1c9331632fedf29 13-Feb-2013 Christian Clausen <cclausen@tzi.de>

logic view optimaziation
a0b65fd7d17589196751bea546f738c3534c4fac 13-Feb-2013 Christian Clausen <cclausen@tzi.de>

autocomplete for logics nearly done
0ae77dd0f6698fa1948d1c6c973cc64d6df9e8d6 12-Feb-2013 Christian Clausen <cclausen@tzi.de>

add LogicMappings interface & some Logic bugfixes

/ontohub/app/controllers/logic_mappings_controller.rb /ontohub/app/controllers/logics_controller.rb /ontohub/app/helpers/link_helper.rb /ontohub/app/models/ability.rb /ontohub/app/models/logic.rb /ontohub/app/models/logic_mapping.rb _mappings.html.haml show.html.haml /ontohub/app/views/mappings/_form.html.haml /ontohub/app/views/mappings/new.html.haml /ontohub/app/views/mappings/show.html.haml /ontohub/app/views/shared/_admin_navigation.html.haml /ontohub/config/hets.yml /ontohub/config/routes.rb /ontohub/db/migrate/20130109104804_add_user_id_to_logics.rb /ontohub/db/migrate/20130110233043_add_user_id_to_languages.rb /ontohub/db/migrate/20130211232121_add_users_to_logic_mappings.rb /ontohub/test/factories/language.rb /ontohub/test/factories/logic.rb /ontohub/test/factories/logic_mapping.rb /ontohub/test/functional/logic_controller_test.rb /ontohub/test/functional/logic_mapping_controller_test.rb
4e91a7a04053ace25f8a60fd6e777fd620948176 11-Jan-2013 Christian Clausen <cclausen@tzi.de>

complete CRUD functionality for logics
27caf7f48edaed40a295eaeefbfdeaf9ced10ff9 11-Jan-2013 Christian Clausen <cclausen@tzi.de>

add basic language interface and improve logic interface