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

Add ProversOptions class.