History log of /ontohub/app/controllers/proof_attempts_controller.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.

application_controller.rb metadata_controller.rb ontologies_controller.rb proof_attempts_controller.rb /ontohub/app/helpers/link_helper.rb /ontohub/app/helpers/navigation_helper.rb /ontohub/app/helpers/state_helper.rb /ontohub/app/serializers/application_serializer.rb /ontohub/app/serializers/axiom_serializer.rb /ontohub/app/serializers/mapping_serializer.rb /ontohub/app/serializers/ontology_member/symbol_serializer.rb /ontohub/app/serializers/ontology_serializer.rb /ontohub/app/serializers/ontology_version_serializer.rb /ontohub/app/serializers/proof_attempt_configuration_serializer.rb /ontohub/app/serializers/proof_attempt_serializer.rb /ontohub/app/serializers/prover_output_serializer.rb /ontohub/app/serializers/sentence_serializer.rb /ontohub/app/serializers/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
80d7c205926c3c8b9869082cc4eb0760e54e0aee 03-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Make a proof attempt retriable.
273b30f33fe1a753893887c8eb94f8078cc96928 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move ProofAttempts index to ProofAttemptsController This also renders theroems#show obsolete. This action is removed. Also re URLs, which look like going to theorems#show, are now routing to theorems#index until we find a reasonable view for the show action.
83ff5d30b9f0e2da446e789b8c38733a3a563ccf 31-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use id for routing to a proof attempt again.
327daafcddb2ece7d56238e5691ef7c701697203 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add Numbering to ProofAttempt.
908d37cfe7f3316562011ad7f90bf9ce5cad6e41 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add basic views for everything around proving.