# HG changeset patch
# User paulson
# Date 1140187426 -3600
# Node ID 991c28e89d32d31a3511a997eda2f31363d03b8c
# Parent  9497f7b174bed78729c9f0f468a52ccfa53e7d9d
hyperlinks in the PDF work now

diff -r 9497f7b174be -r 991c28e89d32 Admin/website/media/pg_preview.pdf
Binary file Admin/website/media/pg_preview.pdf has changed
diff -r 9497f7b174be -r 991c28e89d32 Admin/website/overview.html
--- a/Admin/website/overview.html	Fri Feb 17 15:03:26 2006 +0100
+++ b/Admin/website/overview.html	Fri Feb 17 15:43:46 2006 +0100
@@ -50,7 +50,7 @@
 
         <p>Here is a <a href="//media/pg_preview.mov">hyperlinked preview</a> demonstrating
         Isabelle and ProofGeneral, in <a href="http://www.apple.com/quicktime/download/">QuickTime
-        format</a>, and also as a <a href="//media/pg_preview.pdf">non-hyperlinked preview</a> in PDF.</p>
+        format</a> and in <a href="//media/pg_preview.pdf">PDF</a>.</p>
         <br clear="all"/>
 
       <h2>What Isabelle offers</h2>