# HG changeset patch
# User webertj
# Date 1100363403 -3600
# Node ID 765d5d6e4468e6f6f0defffb307b4f999b8158a4
# Parent  bd4611956c7ba7519dcef710c4110ebbdaa1418e
Exercises added

diff -r bd4611956c7b -r 765d5d6e4468 Admin/page/main-content/index.content
--- 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>