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/dist/installation_notes_macosx.html
changeset 16283 24e5976876bf
parent 16282 631118402334 
--- a/Admin/website/dist/installation_notes_macosx.html	Sun Jun 05 17:42:45 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=
-      "//dist/img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running
+      "//dist/img/screenshot_isabelle_macos.gif">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
isabelle