1.1 --- a/Admin/page/dist-content/docs.content	Mon Aug 16 19:47:01 2004 +0200
     1.2 +++ b/Admin/page/dist-content/docs.content	Tue Aug 17 01:20:29 2004 +0200
     1.3 @@ -8,7 +8,9 @@
     1.4  Isabelle distribution.  For getting started with Isabelle quickly, we
     1.5  recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial
     1.6  on Isabelle/HOL</a> -- published by Springer Verlag as <a
     1.7 -href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
     1.8 +href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
     1.9 +href="http://isabelle.in.tum.de/coursematerial/">course material</a>
    1.10 +page. See the
    1.11  <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems.
    1.12  
    1.13  <!-- _GP_ include("$pwd/docu-contents.dist") -->

     2.1 --- a/Admin/page/main-content/docs.content	Mon Aug 16 19:47:01 2004 +0200
     2.2 +++ b/Admin/page/main-content/docs.content	Tue Aug 17 01:20:29 2004 +0200
     2.3 @@ -9,7 +9,9 @@
     2.4  started with Isabelle quickly, we recommend the 
     2.5  <a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
     2.6  published by Springer Verlag as <a
     2.7 -href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
     2.8 +href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
     2.9 +href="http://isabelle.in.tum.de/coursematerial/">course material</a>
    2.10 +page. See the
    2.11  <a href="faq.html">FAQ</a> for answers to frequent problems.
    2.12  
    2.13  <!-- _GP_ include("$pwd/docu-contents.main") -->

     3.1 --- a/Admin/page/main-content/index.content	Mon Aug 16 19:47:01 2004 +0200
     3.2 +++ b/Admin/page/main-content/index.content	Tue Aug 17 01:20:29 2004 +0200
     3.3 @@ -35,6 +35,17 @@
     3.4  
     3.5  <p>
     3.6  
     3.7 +<h2>Course Material</h2>
     3.8 +
     3.9 +The <a
    3.10 +href="http://isabelle.in.tum.de/coursematerial/">course material</a>
    3.11 +page makes slides, demos, and exercises of a growing number of
    3.12 +Isabelle courses available. It is meant as a ressource for people who
    3.13 +would like to learn Isabelle and also for those who would like to give
    3.14 +courses on Isabelle.
    3.15 +
    3.16 +<p>
    3.17 +
    3.18  <h2>AFP - The Archive of Formal Proofs</h2>
    3.19  
    3.20  The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a