# HG changeset patch
# User kleing
# Date 1082081151 -7200
# Node ID 8c4f90bb769d073f1f6c1e3986fd3edcdfad71e6
# Parent  3ad3df2744db38ee78494bc8a1a1c29131e68d9e
add link to FAQ

diff -r 3ad3df2744db -r 8c4f90bb769d Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Fri Apr 16 04:05:31 2004 +0200
+++ b/Admin/page/dist-content/docs.content	Fri Apr 16 04:05:51 2004 +0200
@@ -8,7 +8,8 @@
 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>.
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. 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 3ad3df2744db -r 8c4f90bb769d Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Fri Apr 16 04:05:31 2004 +0200
+++ b/Admin/page/main-content/docs.content	Fri Apr 16 04:05:51 2004 +0200
@@ -9,6 +9,7 @@
 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>.
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the
+<a href="faq.html">FAQ</a> for answers to frequent problems.
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->