From 5d9a98c3e5c3064cfc8738e0aa470769dfd24093 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Jan 2003 14:59:58 +0000
Subject: Toward XHTML

---
 html/doc.html | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

(limited to 'html')

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>
-- 
cgit v1.2.3