| changeset 15282 | 765d5d6e4468 |
| parent 15276 | 0c1d03e37881 |
| child 15420 | 45653714db88 |
--- a/Admin/page/main-content/index.content Sat Nov 13 07:47:34 2004 +0100 +++ b/Admin/page/main-content/index.content Sat Nov 13 17:30:03 2004 +0100 @@ -35,7 +35,7 @@ <p> -<h2>Course Material</h2> +<h2>Course Material, Exercises</h2> The <a href="http://isabelle.in.tum.de/coursematerial/">course material</a>