blob: 9fd59285044451242bfaeffe2c1aa528127503d1 (
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://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
<br>
Contact
<a href="mailto:feedback@proofgeneral.org">Proof General maintainer.</a>
<br>
<!-- End of footer -->
|
