--- a/Admin/website/documentation.html Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/documentation.html Tue Sep 27 15:30:37 2005 +0200
@@ -23,7 +23,7 @@
width="83" height="125"/>
</a>
<p>For getting started with Isabelle quickly, we recommend the <a href=
- "//dist/packages/Isabelle/doc/tutorial.pdf">Tutorial on
+ "//dist/Isabelle/doc/tutorial.pdf">Tutorial on
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>
@@ -51,12 +51,12 @@
<h3>Release notes</h3>
<ul>
- <li><a href="//dist/packages/Isabelle/ANNOUNCE">ANNOUNCE</a></li>
- <li><a href="//dist/packages/Isabelle/README.html">README</a></li>
- <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li>
- <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li>
- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li>
- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li>
+ <li><a href="//dist/Isabelle/ANNOUNCE">ANNOUNCE</a></li>
+ <li><a href="//dist/Isabelle/README.html">README</a></li>
+ <li><a href="//dist/Isabelle/INSTALL">INSTALL</a></li>
+ <li><a href="//dist/Isabelle/NEWS">NEWS</a></li>
+ <li><a href="//dist/Isabelle/COPYRIGHT">COPYRIGHT</a></li>
+ <li><a href="//dist/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li>
</ul>
<h2 id="course_material">Course Material and Exercises</h2>