- upgraded to the official iddl 1.5

html/lib.html

@@ -83,7 +83,7 @@ In addition to OntoSim, JWNLAlignment requires JWNL.
 <h3>Required for reasoning with alignments</h3>
 
 <dl>
-<dt><a href="http://iddl.gforge.inria.fr">IDDL</a> 1.4: iddl.jar [<a href="http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html">LGPL</a>]</dt>
+<dt><a href="http://iddl.gforge.inria.fr">DRAOn</a> (or IDDL) 1.5: iddl.jar [<a href="http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html">LGPL</a>]</dt>
 <dd>In turns it requires HermiT.</dd>
 <dt><a href="http://www.hermit-reasoner.com/">HermiT</a> 1.3.6:
    [<a href="http://www.gnu.org/licenses/old-licenses/lgpl-3.0.html">LGPL</a>]</dt>

lib/iddl/iddl.pom

@@ -3,10 +3,10 @@
 
   <groupId>fr.paris8.iut.info.iddl</groupId>
   <artifactId>iddl</artifactId>
-  <version>1.4e</version>
+  <version>1.5</version>
   <!-- Unreleased version of 2013-03-06 -->
   <name>Integrated Distributed Description Logic</name>
-  <description>A Resonner for Integrated Distributed Description Logic</description>
+  <description>A Resonner for Integrated Distributed Description Logic (now also called DRAOn)</description>
   <licenses>
     <license>
       <name>GNU LESSER GENERAL PUBLIC LICENSE Version 2.1, February 1999</name>