blob: 80c64ea02569485c15a5a616c26a34f21ac80f7c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<hr>
<?php
print "<a href=\"http://validator.dcs.ed.ac.uk/check?uri=http://www.dcs.ed.ac.uk"
. $REQUEST_URI . ";pw;ss\">";
?>
<img border=0
src="images/vh40.gif"
alt="Valid HTML 4.0!" height=31 width=88 align=right>
</a>
<address>
Web pages by
<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
<br>
Contact
<a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer.</a>
<br>
|
