diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-01-16 14:59:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-01-16 14:59:58 +0000 |
| commit | 5d9a98c3e5c3064cfc8738e0aa470769dfd24093 (patch) | |
| tree | 8a6041f17fb9e3d013c27d0fe49a62ccd18dc7b5 /html | |
| parent | 6de932260c50a9200ef8b9aae007ca279049da63 (diff) | |
Toward XHTML
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.html | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/html/doc.html b/html/doc.html index b4e0e5ee..7be1ba5f 100644 --- a/html/doc.html +++ b/html/doc.html @@ -118,17 +118,15 @@ available <a href="http://www.xemacs.org/Documentation/index.html">here</a> (xem It has support for Proof by Pointing, as documented in: </p> <ul> - <li> <A - HREF="http://www.inria.fr/croap/personnel/Yves.Bertot/me.html">Yves - Bertot</A>, <A HREF="http://www.dcs.ed.ac.uk/home/tms"> - Thomas Kleymann-Schreiber</A> and <A - HREF="http://www.dcs.ed.ac.uk/home/djs">Dilip Sequeira</a>. + <li> <a + href="http://www.inria.fr/croap/personnel/Yves.Bertot/me.html">Yves + Bertot</a>, Thomas Kleymann-Schreiber and Dilip Sequeira. <I>Implementing Proof by Pointing without a Structure Editor</I>. - LFCS Technical Report <A - HREF="http://www.lfcs.informatics.ed.ac.uk/reports/97/ECS-LFCS-97-368/index.html">ECS-LFCS-97-368</a>. + LFCS Technical Report <a + href="http://www.lfcs.informatics.ed.ac.uk/reports/97/ECS-LFCS-97-368/index.html">ECS-LFCS-97-368</a>. Also published as Rapport de recherche de l'INRIA - <A HREF="http://www.inria.fr/Unites/SOPHIA-eng.html"> Sophia - Antipolis</a> <A - HREF="http://www.inria.fr/RRRT/RR-3286.html">RR-3286</a> + <a href="http://www.inria.fr/Unites/SOPHIA-eng.html"> Sophia + Antipolis</a> <a + href="http://www.inria.fr/RRRT/RR-3286.html">RR-3286</a> </li> </ul> |