History log of /ontohub/app/serializers/theorem_serializer.rb
Revision Date Author Comments Expand
d327eb79653cf7820fe583473ab35816d44cd757 02-Aug-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

1555 patch url for (#1745) * Move monkey patches to one place and document them. * Make url_for consider LocIdBaseModel. * Use url_for instead of locid_for everywhere. * Remove now unused locid_for methods.

/ontohub/app/controllers/application_controller.rb /ontohub/app/controllers/metadata_controller.rb /ontohub/app/controllers/ontologies_controller.rb /ontohub/app/controllers/proof_attempts_controller.rb /ontohub/app/helpers/link_helper.rb /ontohub/app/helpers/navigation_helper.rb /ontohub/app/helpers/state_helper.rb application_serializer.rb axiom_serializer.rb mapping_serializer.rb ontology_member/symbol_serializer.rb ontology_serializer.rb ontology_version_serializer.rb proof_attempt_configuration_serializer.rb proof_attempt_serializer.rb prover_output_serializer.rb sentence_serializer.rb theorem_serializer.rb /ontohub/app/views/axioms/_axiom.html.haml /ontohub/app/views/axioms/index.html.haml /ontohub/app/views/children/_child.html.haml /ontohub/app/views/mappings/_mapping.html.haml /ontohub/app/views/ontologies/_info.html.haml /ontohub/app/views/proof_attempts/_result.html.haml /ontohub/app/views/proof_attempts/_sentences_list.html.haml /ontohub/app/views/proof_attempts/index.html.haml /ontohub/app/views/proof_attempts/show.html.haml /ontohub/app/views/prover_outputs/show.html.haml /ontohub/app/views/symbols/_list.html.haml /ontohub/app/views/symbols/_node.html.haml /ontohub/app/views/theorems/_theorem.html.haml /ontohub/app/views/theorems/_theorem_large.html.haml /ontohub/doc/list_of_monkey_patches.md /ontohub/features/step_definitions/combination_steps.rb /ontohub/features/step_definitions/loc_id_routing_steps.rb /ontohub/features/step_definitions/ontology_state_steps.rb /ontohub/features/support/env.rb /ontohub/lib/extend/action_dispatch/routing/polymorphic_routes.rb /ontohub/lib/extend/file.rb /ontohub/spec/controllers/api/v1/proof_attempt_configurations_controller_spec.rb /ontohub/spec/controllers/api/v1/proof_attempts_controller_spec.rb /ontohub/spec/controllers/ontologies_controller_spec.rb /ontohub/spec/controllers/proof_attempts_controller_spec.rb /ontohub/spec/support/common_helper_methods.rb
05d3ce5925b0cbd1539dee654a6612023a62cc92 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Finalize TheoremSerializer.
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8d 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add API controller for theorems.