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://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
<br>
Contact
<?php mlinktxt($project_feedback, "Proof General maintainer."); ?>
<br>