Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/installation_macos_emacs.html
changeset 17563 abb280dd3431
parent 16674 bf2cd93cc245 
--- a/Admin/website/installation_macos_emacs.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/installation_macos_emacs.html	Wed Sep 21 16:37:37 2005 +0200
@@ -61,11 +61,11 @@
         </ul>
 
         <p>You may want to install this drag-and-drop <a href=
-        "//dist/misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
+        "//misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
         invokes XEmacs on any files dropped on it.</p>
 
         <p>Here is a <a href=
-        "//dist/img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
+        "//img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
         in GNU Emacs.</p>
 
     </div>
isabelle