diff options
| author | David Aspinall | 1999-07-05 11:07:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-05 11:07:46 +0000 |
| commit | e8ba4a2ffabadce4279abe273b652945c092bf39 (patch) | |
| tree | 75fade4a9b7f54302bf9b8fbe60cc71f55821346 /html | |
| parent | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (diff) | |
Validator address fix.
Diffstat (limited to 'html')
| -rw-r--r-- | html/footer.phtml | 2 | ||||
| -rw-r--r-- | html/functions.php3 | 37 | ||||
| -rw-r--r-- | html/main.phtml | 1 |
3 files changed, 25 insertions, 15 deletions
diff --git a/html/footer.phtml b/html/footer.phtml index 5246c2b9..188e6861 100644 --- a/html/footer.phtml +++ b/html/footer.phtml @@ -1,6 +1,6 @@ <!-- This is the footer --> <hr> -<a href="http://validator.dcs.ed.ac.uk/check/referer;pw;ss"> +<a href="<?php print $GLOBALS["validator"]; ?>check/referer;pw;ss"> <img border=0 src="images/vh40.gif" alt="Valid HTML 4.0!" height=31 width=88 align=right> diff --git a/html/functions.php3 b/html/functions.php3 index ae8e28ea..48dc3757 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -1,24 +1,33 @@ <?php +// +// Dave's PHP3 Header +// +// Included in every page. +// Prints DTD and defines some useful functions. +// +// David Aspinall, June 1999. +// +// $Id$ +// +// -/* PHP3 Functions for Proof General Web Pages - * - * Included in every page. Prints DTD. - * - * David Aspinall, June 1999. - * - * $Id$ - * - */ -/* Some handy constants */ +// DTD -$pg_email = "proofgen@dcs.ed.ac.uk"; -$pg_list = "proofgeneral@dcs.ed.ac.uk"; -$dtd = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/REC-html40/loose.dtd\">\n"; +$dtd_strict = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0//EN\" \"http://www.w3.org/TR/REC-html40/strict.dtd\">\n"; +$dtd_loose = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/REC-html40/loose.dtd\">\n"; + +print $dtd_loose; -print $dtd; +// Validator address +$validator = "http://validator.dcs.ed.ac.uk/"; +// $validator = "http://localhost/validator/"; +/* Some handy constants */ + +$pg_email = "proofgen@dcs.ed.ac.uk"; +$pg_list = "proofgeneral@dcs.ed.ac.uk"; $pg_title = "Proof General --- Organize your Proofs!"; diff --git a/html/main.phtml b/html/main.phtml index cb845f4b..c3f6c126 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -8,6 +8,7 @@ <!-- <h2><a name="what">What is Proof General?</a></h2> --> + <p> <b>Proof General</b> is a generic interface for proof assistants, based on Emacs.<br> |