# HG changeset patch
# User kleing
# Date 1115596981 -7200
# Node ID 292a9de8abe93418ce4ee1e071d74d6fcf1fc7f9
# Parent  e1bca926ffa6b54ef1e6a22e12da950d341a542a
made file list nicer

diff -r e1bca926ffa6 -r 292a9de8abe9 Admin/page/dist-content/notes_macos_darwin.content
--- 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