diff options
| author | David Aspinall | 1999-06-24 14:04:28 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-24 14:04:28 +0000 |
| commit | 2ed53db7506dd4811fbe6c3fac64c3703d1169a8 (patch) | |
| tree | dbaeab7ca5223cf02a16b2ff9834b8aac203ad84 /html/footer.phtml | |
| parent | 7e049e7ecc1ec8098463454f87369461bd10efc2 (diff) | |
New web pages
Diffstat (limited to 'html/footer.phtml')
| -rw-r--r-- | html/footer.phtml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/html/footer.phtml b/html/footer.phtml new file mode 100644 index 00000000..80c64ea0 --- /dev/null +++ b/html/footer.phtml @@ -0,0 +1,16 @@ +<hr> +<?php + print "<a href=\"http://validator.dcs.ed.ac.uk/check?uri=http://www.dcs.ed.ac.uk" + . $REQUEST_URI . ";pw;ss\">"; + ?> + <img border=0 + src="images/vh40.gif" + alt="Valid HTML 4.0!" height=31 width=88 align=right> +</a> +<address> +Web pages by +<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. +<br> +Contact +<a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer.</a> +<br> |