History log of /ontohub/app/models/proof_status/creation_from_ontology.rb
Revision Date Author Comments Expand
b0e39d0cbb1c31a41f3a37746554daf38de9bfe9 23-Jan-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Code style.
e2dd5bd92cdf48784e42150be9ef5418dd01cdd8 23-Jan-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fix ambiguous Label location.
aabfc36dda33410c543b0ed03db9135102ab8dfd 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust Solved status to newer SZS ontology.
50a44fc97f4e9661a38e84b4c6f4b7496d7940a5 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fix ProofStatus refreshing method.
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 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
a7aea5fb1dba2b33b098b5ec18376f7205c44abc 06-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Singularize method name `entity_by_name`.
dca00e3e210f3a3f814c63511f426128b1f3308c 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move owl class handling to ontology concern.
47060884abf584d680d56799579d293d7ed4c29e 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename `m` to `match`.
a6d828655dfaa0f67983d9b3709fd4b982911dcc 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Cache entities_by_name.
4580cf9a84a719caa4eedd68f0ab2e20d2bcca9a 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add comments on description and name.
f7adb5db6232d493fe5d82cecc9449f012acea32 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use method passing instead of block syntax.
e0a258a3ef5bc6317af9a81ffb33789050451469 04-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename module: Make it a noun instead of a verb.