protege-distribution icon indicating copy to clipboard operation
protege-distribution copied to clipboard

Published 20 hours ago • verified publisher icon protegeproject

Upgrade HermiT to 1.4.0.456

Open matthewhorridge opened this issue 6 years ago • 1 comments

See https://github.com/protegeproject/protege/issues/799 for context

matthewhorridge avatar Sep 06 '18 15:09 matthewhorridge

Hi @matthewhorridge, looks like the new release (5.6.0) of Protege included this, right (though actually we got Hermit 1.4.3.456)? Can it be closed, and included in the Protege release notes?

jclerman avatar Feb 10 '23 00:02 jclerman