Admin/page/main-content/index.content
changeset 15138 9390018ea712
parent 15137 8a17799687e7
child 15276 0c1d03e37881
     1.1 --- a/Admin/page/main-content/index.content	Tue Aug 17 01:20:29 2004 +0200
     1.2 +++ b/Admin/page/main-content/index.content	Tue Aug 17 10:49:52 2004 +0200
     1.3 @@ -40,9 +40,9 @@
     1.4  The <a
     1.5  href="http://isabelle.in.tum.de/coursematerial/">course material</a>
     1.6  page makes slides, demos, and exercises of a growing number of
     1.7 -Isabelle courses available. It is meant as a ressource for people who
     1.8 -would like to learn Isabelle and also for those who would like to give
     1.9 -courses on Isabelle.
    1.10 +Isabelle courses available. It is meant as a resource for people 
    1.11 +who would like to learn Isabelle as well as for those who would like 
    1.12 +to teach it.
    1.13  
    1.14  <p>
    1.15