diff options
| author | David Aspinall | 2000-09-28 15:01:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:01:50 +0000 |
| commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
| tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/footer.html | |
| parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) | |
Renamed file
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 |