--- 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>