diff options
| author | David Aspinall | 2001-09-13 13:44:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-13 13:44:53 +0000 |
| commit | e3d572318bd40aadd46d2e6a6a543f02afd47f33 (patch) | |
| tree | 2f88c082a6e8e977df266f0a868ae65692744610 /html/doc.html | |
| parent | 3a7677c6a5bc770a74914a3d9addabb1c332b13d (diff) | |
Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files
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 |