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/doc.phtml | 4 ++--
html/download.phtml | 5 ++++-
html/features.phtml | 2 +-
html/footer.phtml | 15 ++++++---------
html/functions.php3 | 12 +++++++++---
html/head.phtml | 12 ++++++------
html/header.phtml | 7 ++++---
html/index.phtml | 3 +--
html/main.phtml | 11 +++++------
html/news.phtml | 2 +-
html/smallheader.phtml | 2 +-
11 files changed, 40 insertions(+), 35 deletions(-)
(limited to 'html')
diff --git a/html/doc.phtml b/html/doc.phtml
index cfc68d30..4b67c547 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -1,4 +1,4 @@
-Manual
+Manual
Full documentation for Proof General is included in the -->
-Warning: the manual above is taken from the current
+Warning: the manual above is taken from the current
pre-release and may be updated from the documentation included
in the last stable release.
diff --git a/html/download.phtml b/html/download.phtml
index c15dc3c5..60c30d9f 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -25,7 +25,10 @@ stable release,
-Proof General Version 2.0, released 16 December 1998
+
This version of Proof General has been tested
diff --git a/html/features.phtml b/html/features.phtml
index 3171c74d..4c0e1819 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -14,7 +14,7 @@ assistant, and you'd like some of the following features:
A proof script is a sequence of commands sent to
a proof assistant to construct a proof, usually stored in
- a file. connects the editing of a
+ a file. Script management connects the editing of a
proof script directly to an interactive proof process,
maintaining consistency between the edit buffer
and the state of the proof assistant.
diff --git a/html/footer.phtml b/html/footer.phtml
index 94c8ce72..5246c2b9 100644
--- a/html/footer.phtml
+++ b/html/footer.phtml
@@ -1,13 +1,9 @@
+
-";
-?>
- 
+
+
Web pages by
@@ -16,3 +12,4 @@ Web pages by
Contact
Proof General maintainer.
+
\ No newline at end of file
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 "