# HG changeset patch
# User kleing
# Date 1092698429 -7200
# Node ID 8a17799687e7fe7c0a149596e2853442974ff07f
# Parent  1275417e3930be4b1d8092a720b3b5f191052f08
include course material page

diff -r 1275417e3930 -r 8a17799687e7 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Mon Aug 16 19:47:01 2004 +0200
+++ b/Admin/page/dist-content/docs.content	Tue Aug 17 01:20:29 2004 +0200
@@ -8,7 +8,9 @@
 Isabelle distribution.  For getting started with Isabelle quickly, we
 recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial
 on Isabelle/HOL</a> -- published by Springer Verlag as <a
-href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
+href="http://isabelle.in.tum.de/coursematerial/">course material</a>
+page. See the
 <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems.
 
 <!-- _GP_ include("$pwd/docu-contents.dist") -->
diff -r 1275417e3930 -r 8a17799687e7 Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Mon Aug 16 19:47:01 2004 +0200
+++ b/Admin/page/main-content/docs.content	Tue Aug 17 01:20:29 2004 +0200
@@ -9,7 +9,9 @@
 started with Isabelle quickly, we recommend the 
 <a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
 published by Springer Verlag as <a
-href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a
+href="http://isabelle.in.tum.de/coursematerial/">course material</a>
+page. See the
 <a href="faq.html">FAQ</a> for answers to frequent problems.
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->
diff -r 1275417e3930 -r 8a17799687e7 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Mon Aug 16 19:47:01 2004 +0200
+++ b/Admin/page/main-content/index.content	Tue Aug 17 01:20:29 2004 +0200
@@ -35,6 +35,17 @@
 
 <p>
 
+<h2>Course Material</h2>
+
+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.
+
+<p>
+
 <h2>AFP - The Archive of Formal Proofs</h2>
 
 The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a