- <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>
- <br>
- <br>
- <b>Papers concerning the latest version of MathQL-1:</b><br>
-
+
+ <ul>
+ <li> <a href="links.html">Links</a></li>
+
+ </ul>
+ </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>
+ <ul>
+ <li> F. Guidi: <i><a
+ href="ftp://ftp.cs.unibo.it/pub/techreports/2003-06.ps.gz">Searching and
+Retrieving in Content-based Repositories of Formal Mathematical Knowledge</a></i>.
+ Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical
+ report UBLCS 2003-06.</li>
+
+ </ul>
+