From 9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Jul 2002 09:32:38 +0000
Subject: Fix

---
 html/index.php       | 1 -
 html/news.html       | 1 -
 html/screenshot      | 1 -
 html/screenshot.html | 4 ++--
 4 files changed, 2 insertions(+), 5 deletions(-)

(limited to 'html')
diff --git a/html/index.php b/html/index.php
index 5d90977c..3eb50db3 100644
--- a/html/index.php
+++ b/html/index.php
@@ -1,5 +1,4 @@
 <?php require('functions.php3'); ?>
-<html>
 <?php  include('head.html'); ?>
 <?php
     include('header.html');
diff --git a/html/news.html b/html/news.html
index 185a8131..bff758f7 100644
--- a/html/news.html
+++ b/html/news.html
@@ -32,4 +32,3 @@ robust as possible.  Thanks!
 <i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
 <br>
 <i>Click <a href="oldnews.html">here</a> for old news.</i>
-</p>
diff --git a/html/screenshot b/html/screenshot
index f0cbe7a1..bba013ba 100644
--- a/html/screenshot
+++ b/html/screenshot
@@ -1,5 +1,4 @@
 <?php require('functions.php3'); ?>
-<html>
 <?php  include('head.html'); ?>
 <?php
     include('header.html');
diff --git a/html/screenshot.html b/html/screenshot.html
index 6cce9e3a..ffc9e8a4 100644
--- a/html/screenshot.html
+++ b/html/screenshot.html
@@ -49,7 +49,7 @@ induction step, because the background of
 the proof step is pink.  It will become
 blue when Coq finishes that step.
 </font></p>
-</br>
+<br>
 </td></tr>
 
 <tr>
@@ -73,7 +73,7 @@ display as symbols using the
 package in conjunction with Proof General.  
 Here you can see some symbols in Isabelle's output.
 </font></p>
-</br>
+<br>
 </td></tr>
 
 <tr>
-- 
cgit v1.2.3

