Upgrade HermiT to 1.4.0.456

protegeproject / protege-distribution

Build files for the protege distribution that includes 3rd party plugins

BSD 2-Clause "Simplified" License

125 stars 39 forks source link

Upgrade HermiT to 1.4.0.456 #16

Open matthewhorridge opened 6 years ago

matthewhorridge commented 6 years ago

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

jclerman commented 1 year ago

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?