spechub/Hets — pull request #1280 by sternk (2014-07-10 13:29:56+00:00)
Title: Fixed a bug in getAllProvers and made it total

FIxed #1277