Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/page/main-content/docs.content
changeset 15137 8a17799687e7
parent 14574 8c4f90bb769d 
--- 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") -->
isabelle