# HG changeset patch
# User kleing
# Date 1092732592 -7200
# Node ID 9390018ea712b0aeaf26b1952d27de79599aa550
# Parent  8a17799687e7fe7c0a149596e2853442974ff07f
improved wording course material

diff -r 8a17799687e7 -r 9390018ea712 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Tue Aug 17 01:20:29 2004 +0200
+++ b/Admin/page/main-content/index.content	Tue Aug 17 10:49:52 2004 +0200
@@ -40,9 +40,9 @@
 The <a
 href="http://isabelle.in.tum.de/coursematerial/">course material</a>
 page makes slides, demos, and exercises of a growing number of
-Isabelle courses available. It is meant as a ressource for people who
-would like to learn Isabelle and also for those who would like to give
-courses on Isabelle.
+Isabelle courses available. It is meant as a resource for people 
+who would like to learn Isabelle as well as for those who would like 
+to teach it.
 
 <p>