ontohub/ontohub — pull request #1115 by eugenk (2014-11-10 09:33:06+00:00)
Title: 50 add proof status model

This shall fix #50. It just adds models. They will be used in the reasoning milestone later on. Views will be added in #1114.