History log of /ontohub/spec/lib/hets/provers_options_spec.rb
Revision Date Author Comments Expand
3eb2f42df528f60b01e96cace480b0fea0b5a134 26-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add ProversOptions spec.