History log of /ontohub/spec/controllers/theorems_controller_spec.rb
Revision Date Author Comments Expand
1aa35a3a8cba38a107c617092d5305da541ed518 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust specs for new proof_attempts#index action.

e8f1bf1654f0dcec50e12fe138031159a9ee529a 11-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add TheoremsController spec.