blob: 188e6861254efca18c6a0a5855174c02d82c772d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
<!-- This is the footer -->
<hr>
<a href="<?php print $GLOBALS["validator"]; ?>check/referer;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>
<!-- End of footer -->
|
