diff options
| -rw-r--r-- | html/doc.phtml | 4 | ||||
| -rw-r--r-- | html/download.phtml | 5 | ||||
| -rw-r--r-- | html/features.phtml | 2 | ||||
| -rw-r--r-- | html/footer.phtml | 15 | ||||
| -rw-r--r-- | html/functions.php3 | 12 | ||||
| -rw-r--r-- | html/head.phtml | 12 | ||||
| -rw-r--r-- | html/header.phtml | 7 | ||||
| -rw-r--r-- | html/index.phtml | 3 | ||||
| -rw-r--r-- | html/main.phtml | 11 | ||||
| -rw-r--r-- | html/news.phtml | 2 | ||||
| -rw-r--r-- | html/smallheader.phtml | 2 |
11 files changed, 40 insertions, 35 deletions
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 @@ -<h2>Manual</h3> +<h2>Manual</h2> <p> Full documentation for Proof General is included in the <?php @@ -19,7 +19,7 @@ For printing you can download the <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> --> </p> <p> -<it>Warning:</it> the manual above is taken from the current +<i>Warning:</i> the manual above is taken from the current pre-release and may be updated from the documentation included in the last stable release. </p> 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, <hr> -<a name="stable"><h2>Proof General Version 2.0, released 16 December 1998</h2></a> +<h2><a name="stable"> + Proof General Version 2.0, released 16 December 1998 + </a> +</h2> <p> 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: <dd> A <em>proof script</em> is a sequence of commands sent to a proof assistant to construct a proof, usually stored in - a file. <emScript management</em> connects the editing of a + a file. <em>Script management</em> 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 @@ +<!-- This is the footer --> <hr> -<?php - print - "<a href=\"http://validator.dcs.ed.ac.uk/check?uri=http://zermelo.dcs.ed.ac.uk" - . getenv("REQUEST_URI") - . ";pw;ss\">"; -?> - <img border=0 - src="images/vh40.gif" - alt="Valid HTML 4.0!" height=31 width=88 align=right> +<a href="http://validator.dcs.ed.ac.uk/check/referer;pw;ss"> +<img border=0 + src="images/vh40.gif" + alt="Valid HTML 4.0!" height=31 width=88 align=right> </a> <address> Web pages by @@ -16,3 +12,4 @@ Web pages by Contact <a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer.</a> <br> +<!-- End of footer -->
\ 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 @@ -2,6 +2,8 @@ /* PHP3 Functions for Proof General Web Pages * + * Included in every page. Prints DTD. + * * David Aspinall, June 1999. * * $Id$ @@ -12,7 +14,11 @@ $pg_email = "proofgen@dcs.ed.ac.uk"; $pg_list = "proofgeneral@dcs.ed.ac.uk"; -$dtd = "<!DOCTYPE HTML PUBLIC \"-//IETF//DTD HTML//EN\">\n"; +$dtd = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/REC-html40/loose.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 "<small><i><p>[" . $text . "]</p></small></i>"; + print "<p><small><i>[" . $text . "]</i></small></p>"; } /* A hyper-link with optional mouse over text. @@ -123,8 +129,8 @@ function footer($filemodified=".") { include('footer.phtml'); date_modified($filemodified); print "</address>\n"; +// print "</font>\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ print "</body>\n"; - print "</font>\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ print "</html>\n"; } diff --git a/html/head.phtml b/html/head.phtml index f4464b8c..6318e2c3 100644 --- a/html/head.phtml +++ b/html/head.phtml @@ -15,16 +15,16 @@ print "-->\n</style>\n"; ?> </head> - <!-- Duplicate some style entries in body elt to support Version 3 browsers. - FIXME: Shouldn't serve this mess up to V4s and later. --> -<font face="Verdana, Arial, LucidaSans, sans-serif;"> <body bgcolor="#2D1D03" background="images/canvaswallpaper.jpg" text="#FFFFFF" - link=#FFD820 - vlink=#FFD820 - alink=#FFF030 + link="#FFD820" + vlink="#FFD820" + alink="#FFF030" > + <!-- Duplicate some style entries in body elt to support Version 3 browsers. + FIXME: Shouldn't serve this mess up to V4s and later. --> +<!-- <font face="Verdana, Arial, LucidaSans, sans-serif;">--> diff --git a/html/header.phtml b/html/header.phtml index 4d62176a..0415a7b9 100644 --- a/html/header.phtml +++ b/html/header.phtml @@ -1,4 +1,5 @@ -<table width="80%" align=top> +<!-- This is the header --> +<table width="80%"> <tr> <td width="300"> <a href="index.phtml"> @@ -7,7 +8,7 @@ </a> </td> <td> - <img src="images/pg-text.gif"> + <img src="images/pg-text.gif" alt="Proof General"> <br> <h1>Organize your proofs!</h1> <?php @@ -49,4 +50,4 @@ ?> </tr> </table> - +<!-- End of header -->
\ No newline at end of file diff --git a/html/index.phtml b/html/index.phtml index dad1cc39..979f1e04 100644 --- a/html/index.phtml +++ b/html/index.phtml @@ -1,5 +1,4 @@ -<?php require('functions.php3'); ?> -<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> +<?php require('functions.php3'); ?> <html> <?php include('head.phtml'); ?> <?php diff --git a/html/main.phtml b/html/main.phtml index c18f417e..cb845f4b 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -27,10 +27,10 @@ You need a 20.X (or later) version in either case. <p> Proof General is ready-customized for several proof assistants: </p> -<p> - <table width=90%> + +<table width="90%"> <tr> - <td align="centre"> + <td align="center"> <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html", "<img src=\"images/coq-badge.gif\" width=110 height=35 border=0 alt=\"Coq badge\">","The Coq Home Page") ?> </td> @@ -49,7 +49,7 @@ Proof General is ready-customized for several proof assistants: </td> </tr> <tr> - <td align="centre"> + <td align="center"> <?php hlink("http://www.dcs.ed.ac.uk/home/lego", "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">", "The LEGO Home Page") ?> @@ -70,7 +70,7 @@ Proof General is ready-customized for several proof assistants: </td> </tr> <tr> - <td align="centre"> + <td align="center"> <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/", "<img src=\"images/isabelle-badge.gif\" width=128 height=37 border=0 alt=\"Isabelle badge\">", "The Isabelle Home Page"); ?> @@ -92,7 +92,6 @@ Proof General is ready-customized for several proof assistants: </td> </tr> </table> -</p> <p> To see what Proof General looks like in use, have a look at this diff --git a/html/news.phtml b/html/news.phtml index b6468433..74f4d367 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -16,7 +16,7 @@ Please also try out the latest pre-release of Proof General, this is the final chance to get fixes and tweaks sorted before 2.1. - <div style="text-align: center; font-style: italic; font-family: lucidacalligrapy, \"brush script\", Technical, cursive"> - David.</div></p> + </p> </li> <li><b>11th May 1999</b><br> diff --git a/html/smallheader.phtml b/html/smallheader.phtml index ddfbf281..2cb36ce3 100644 --- a/html/smallheader.phtml +++ b/html/smallheader.phtml @@ -1,4 +1,4 @@ -<table width="80%" align=top> +<table width="80%"> <tr> <td width="30%"> <a href="index.phtml"> |