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/functions.php3 | |
| parent | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (diff) | |
Validator address fix.
Diffstat (limited to 'html/functions.php3')
| -rw-r--r-- | html/functions.php3 | 37 |
1 files changed, 23 insertions, 14 deletions
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!"; |