--- a/Admin/website/overview.html Sat Jun 04 21:42:50 2005 +0200
+++ b/Admin/website/overview.html Sat Jun 04 21:43:55 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
@@ -73,7 +73,7 @@
<p>Isabelle is closely integrated with the <a href=
"http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a> user interface, which
eases the task of writing and maintaining proof scripts.</p>
- <br clear="both" />
+ <br clear="all" />
<h2>Preview</h2>