--- 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>