From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.
---
html/functions.php3 | 12 +++++++++---
1 file changed, 9 insertions(+), 3 deletions(-)
(limited to 'html/functions.php3')
diff --git a/html/functions.php3 b/html/functions.php3
index cc178e53..ae8e28ea 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -1,6 +1,8 @@
\n";
+$dtd = "\n";
+
+print $dtd;
+
+
$pg_title = "Proof General --- Organize your Proofs!";
@@ -39,7 +45,7 @@ function dt($string) {
/* FIXME: for now, just inline them. */
function footnote ($text) {
- print "[" . $text . "]
";
+ print "[" . $text . "]
";
}
/* A hyper-link with optional mouse over text.
@@ -123,8 +129,8 @@ function footer($filemodified=".") {
include('footer.phtml');
date_modified($filemodified);
print "\n";
+// print "\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */
print " \n";
- print "\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */
print "