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

---
 html/screenshot.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/screenshot.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