
diff -r 5baaabe1ab92 -r 4d0e2edd476d CookBook/Intro.thy
--- a/CookBook/Intro.thy	Tue Mar 17 11:47:01 2009 +0100
+++ b/CookBook/Intro.thy	Tue Mar 17 12:26:34 2009 +0100
@@ -109,6 +109,10 @@
   Further information or pointers to files.
   \end{readmore}
 
+  The pointers to Isabelle files are hyperlinked to the tip of the Mercurial
+  repository of Isabelle at \href{http://isabelle.in.tum.de/repos/isabelle/}
+  {http://isabelle.in.tum.de/repos/isabelle/}.
+
   A few exercises are scattered around the text. Their solutions are given 
   in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try
   to solve the exercises on your own, and then look at the solutions.




