--- a/Admin/website/documentation.html Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/documentation.html Wed Sep 21 16:37:37 2005 +0200
@@ -18,8 +18,8 @@
<h2>Getting started</h2>
- <a href="//dist/img/tutorial_cover_big.gif">
- <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover "
+ <a href="//img/tutorial_cover_big.gif">
+ <img class="right" src="//img/tutorial_cover_small.gif" alt="Cover "
width="83" height="125"/>
</a>
<p>For getting started with Isabelle quickly, we recommend the <a href=
@@ -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="all" />
+ <br clear="right" />
<h2>Mailing list and FAQ</h2>