# HG changeset patch
# User haftmann
# Date 1117986165 -7200
# Node ID 631118402334c661bdf257f7e1e3ad91993f35c5
# Parent  de9815628d33a15af9a90d0a86ae3f74839aa77e
link bugs fixed

diff -r de9815628d33 -r 631118402334 Admin/website/dist/installation_notes_macosx.html
--- a/Admin/website/dist/installation_notes_macosx.html	Sun Jun 05 16:23:50 2005 +0200
+++ b/Admin/website/dist/installation_notes_macosx.html	Sun Jun 05 17:42:45 2005 +0200
@@ -23,7 +23,7 @@
       "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">Isabelle</a>. The new
       <a href="http://www.apple.com/powermac/">Power Mac G5</a> is an excellent
       Isabelle machine. Here is a <a href=
-      "../img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running
+      "//dist/img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running
       in GNU Emacs.</p>
     
       <p>This page gives advice on building Isabelle for Mac OS X. It assumes that
@@ -32,7 +32,7 @@
     
       <ol>
         <li>Download Isabelle to a suitable directory, as described on the
-          <a href="packages.html">download page</a>. Be sure to get the following
+          <a href="download.html">download page</a>. Be sure to get the following
           files
     
           <ul>