From e8ba4a2ffabadce4279abe273b652945c092bf39 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 5 Jul 1999 11:07:46 +0000 Subject: Validator address fix. --- html/footer.phtml | 2 +- html/functions.php3 | 37 +++++++++++++++++++++++-------------- html/main.phtml | 1 + 3 files changed, 25 insertions(+), 15 deletions(-) (limited to 'html') 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 @@
- +check/referer;pw;ss"> Valid HTML 4.0! 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 @@ \n"; +$dtd_strict = "\n"; +$dtd_loose = "\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 @@ +

Proof General is a generic interface for proof assistants, based on Emacs.
-- cgit v1.2.3