Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
hyperlinks in the PDF work now
authorpaulson
Fri, 17 Feb 2006 15:43:46 +0100
changeset 19096 991c28e89d32
parent 19095 9497f7b174be
child 19097 2fc1a6da9366
hyperlinks in the PDF work now
Admin/website/media/pg_preview.pdf file | annotate | diff | comparison | revisions
Admin/website/overview.html file | annotate | diff | comparison | revisions 
Binary file Admin/website/media/pg_preview.pdf has changed
--- 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>
isabelle