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.
fixed links
authorhaftmann
Sat, 04 Jun 2005 22:38:40 +0200
changeset 16246 d79cd3e38ca7
parent 16245 bad9d73aa063
child 16247 8691680a1922
fixed links
Admin/website/overview.html file | annotate | diff | comparison | revisions 
--- a/Admin/website/overview.html	Sat Jun 04 22:34:30 2005 +0200
+++ b/Admin/website/overview.html	Sat Jun 04 22:38:40 2005 +0200
@@ -77,9 +77,9 @@
 
       <h2>Preview</h2>
 
-      <p>We provide a <a href="PG-preview.mov">hyperlinked preview</a> demonstrating
+      <p>We provide 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="PG-preview.pdf">non-hyperlinked preview</a> in PDF.</p>
+      format</a>, and also as a <a href="//media/PG-preview.pdf">non-hyperlinked preview</a> in PDF.</p>
     
       <p>Ample <a href="dist/documentation.html">documentation</a> is available
       about using Isabelle and its inner concepts, including a
isabelle