blob: 7c6db36ae02715fbec0fbdbd37e739ec5c951b04 (
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
<?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
<br>
|
