Skip to content

Commit

Permalink
1.4.2.456 release
Browse files Browse the repository at this point in the history
  • Loading branch information
ignazio1977 committed Sep 9, 2018
1 parent bdd964d commit 7ca66af
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
3 changes: 2 additions & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@

<groupId>net.sourceforge.owlapi</groupId>
<artifactId>org.semanticweb.hermit</artifactId>
<version>1.4.1.456</version>
<version>1.4.2.456</version>
<packaging>bundle</packaging>

<name>HermiT</name>
Expand Down Expand Up @@ -204,6 +204,7 @@
<Import-Package>
!org.apache.*,
!javax.*,
javax.xml.stream.*,
!org.codehaus.*,
!org.jaxen*,
org.protege.editor.owl.*;version="4.3",
Expand Down
4 changes: 2 additions & 2 deletions src/main/resources/plugin.xml
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
<?xml version="1.0"?>
<plugin>
<extension id="HermiT.reasoner.factory" point="org.protege.editor.owl.inference_reasonerfactory">
<name value="HermiT 1.4.0.456"/>
<label value="HermiT 1.4.0.456"/>
<name value="HermiT 1.4.2.456"/>
<label value="HermiT 1.4.2.456"/>
<class value="org.semanticweb.HermiT.ProtegeReasonerFactory"/>
</extension>
</plugin>

0 comments on commit 7ca66af

Please sign in to comment.