0robustus1/homebrew-hets — pull request #2 by eugenk (2014-12-29 20:04:17+00:00)
Title: Bump hets version to fixed new-dol iri error.

This hets version fixes the error of https://github.com/spechub/Hets/issues/1433 and https://github.com/ontohub/ontohub/pull/1147.

Also it allows for selection of axioms and theorems in a proof request via the RESTful API. And it supports POST request body parameters.