--- a/Admin/website/dist/documentation.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/dist/documentation.html Sat Jun 04 21:35:20 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>
@@ -27,7 +27,7 @@
Isabelle/HOL</a> (published by Springer Verlag as <a href=
"http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href=
"#course_material">course material</a>.</p>
- <br clear="both" />
+ <br clear="all" />
<h2>Mailing list and FAQ</h2>