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/page/dist-content/notes_macos_darwin.content
changeset 15941 292a9de8abe9
parent 15939 07a791202f49 
--- a/Admin/page/dist-content/notes_macos_darwin.content	Mon May 09 02:02:25 2005 +0200
+++ b/Admin/page/dist-content/notes_macos_darwin.content	Mon May 09 02:03:01 2005 +0200
@@ -20,11 +20,13 @@
 <li>Download Isabelle to a suitable directory, as described on the 
 <a href="packages.html">download page</a>. Be sure to get the following files
 
-<!-- _GP_ href(distname . ".tar.gz", distname . ".tar.gz") --> <br>
-<!-- _GP_ href("contrib/ProofGeneral.tar.gz", "ProofGeneral.tar.gz") --> <br>
-<!-- _GP_ href("contrib/polyml_base.tar.gz", "polyml_base.tar.gz") --> <br>
-<!-- _GP_ href("contrib/polyml_ppc-darwin.tar.gz", "polyml_ppc-darwin.tar.gz") --> <br>
-<!-- _GP_ href("HOL_ppc-darwin.tar.gz", "HOL_ppc-darwin.tar.gz") --> <br>
+<ul>
+<li><tt><!-- _GP_ href(distname . ".tar.gz", distname . ".tar.gz") --></tt></li>
+<li><tt><!-- _GP_ href("contrib/ProofGeneral.tar.gz", "ProofGeneral.tar.gz") --></tt></li>
+<li><tt><!-- _GP_ href("contrib/polyml_base.tar.gz", "polyml_base.tar.gz") --></tt></li>
+<li><tt><!-- _GP_ href("contrib/polyml_ppc-darwin.tar.gz", "polyml_ppc-darwin.tar.gz") --></tt></li>
+<li><tt><!-- _GP_ href("HOL_ppc-darwin.tar.gz", "HOL_ppc-darwin.tar.gz") --></tt></li>
+</ul>
 </li>
 
 <li>You may have to install the bash shell. Versions of Mac OS X prior to
isabelle