From bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:01:50 +0000
Subject: Renamed file

---
 html/footer.html | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 html/footer.html

(limited to 'html/footer.html')

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
-- 
cgit v1.2.3