diff options
Diffstat (limited to 'html/doc.html')
| -rw-r--r-- | html/doc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/doc.html b/html/doc.html index ccdfab58..3f092ade 100644 --- a/html/doc.html +++ b/html/doc.html @@ -98,7 +98,7 @@ list</a>. HREF="http://www.dcs.ed.ac.uk/home/djs">Dilip Sequeira</a>. <I>Implementing Proof by Pointing without a Structure Editor</I>. LFCS Technical Report <A - HREF="http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/97/ECS-LFCS-97-368/index.html">ECS-LFCS-97-368</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 |