html/footer.html


1
2
3
4
5
6
7
8
9
10

<!-- This is the footer -->
<hr>
<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>