diff options
Diffstat (limited to 'html/footer.html')
| -rw-r--r-- | html/footer.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/html/footer.html b/html/footer.html new file mode 100644 index 00000000..9fd59285 --- /dev/null +++ b/html/footer.html @@ -0,0 +1,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 -->
\ No newline at end of file |