blob: 99af08851123fa4850689c2523c6929d405e77d5 (
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">
<img border=0
src="images/vh40.gif"
alt="Probably 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 -->
|
