History log of /ontohub/app/controllers/prover_outputs_controller.rb
Revision Date Author Comments Expand
bee7471a807cc3585103ccc41f5dedff3fad8e3c 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add web-ProverOutputsController.