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

Add ProversCaller.