- <br>
- </td>
- <td valign="top">
-
- <div align="right"><b>Documentation</b><br>
- </div>
- <br>
- All available information about MathQL-1 can be found in the papers
-below (listed in order of relevance).<br>
-The newest features of MathQL-1, which are not included in this documentation,
-are reported in the <a href="whatsnew.html">What's new</a> section.<br>
- <br>
- <br>
- <b>Papers concerning the latest version of MathQL-1:</b><br>
-
+ </td>
+ <td valign="top">
+ <div align="right"><b>Documentation</b></div>
+
+ <p><br>
+ All available information about MathQL-1 can be found in the papers below
+ (listed in order of relevance). <br>
+ The newest features of MathQL-1, which are not included in this documentation,
+ are reported in the <a href="whatsnew.html">What's new</a> section. </p>
+
+ <p><b>Papers concerning the developement version of MathQL-1:</b> </p>
+
+ <ul>
+ <li> F. Guidi: <a
+ href="http://www.cs.unibo.it/%7Efguidi/download/aql2_s.ps"><i>Reperimento
+ delle Informazioni nelle Librerie Digitali Distribuite di Conoscenza Matematica
+ Formale</i></a>. Presentation at McTati Meeting November 2003. Bologna.
+Italy. <u>Italian version.</u></li>
+
+ <p>The English version will be available soon.</p>
+
+ </ul>
+ <b>Papers concerning the latest stable version of MathQL-1:</b>
+