Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 27 Sep 2005 17:01:49 +0200
changeset 17678 2fe254a20a42
parent 17677 9763b78adb1b
child 17679 c5f49e4856e3
tuned;
Admin/website/installation.html file | annotate | diff | comparison | revisions 
--- a/Admin/website/installation.html	Tue Sep 27 17:01:10 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 17:01:49 2005 +0200
@@ -113,8 +113,8 @@
 		Linux versions, see also <a
 		href="http://www.polyml.org/linuxsegfault.html">Segmentation
 		faults with Linux</a> on the Poly/ML site.
-
-	    </li> </ul>
+	    </li>
+	</ul>
 
       <h2 id="install_darwin">MaxOS X / Darwin</h2>
isabelle