Mercurial Mercurial > hg > public_html / 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.
mc.html
changeset 289 e168c45863e3
parent 288 49baf2a17206
child 290 5c77374e0f12 
--- a/mc.html	Sun Jul 06 23:42:33 2014 +0100
+++ b/mc.html	Mon Jul 07 00:04:37 2014 +0100
@@ -29,8 +29,8 @@
 <ul>
 <li>1. Download Isabelle<BR>
   <ul>
-     <li>For Linux: <a href="">Isabelle2014-RC0_linux.tar.gz</a>
-     <li>For MacOSX: <a href="">Isabelle2014-RC0.dmg</a>
+     <li>For Linux: <a href="Isabelle2014-RC0_linux.tar.gz">Isabelle2014-RC0_linux.tar.gz</a>
+     <li>For MacOSX: <a href="Isabelle2014-RC0.dmg">Isabelle2014-RC0.dmg</a>
   </ul>
 <li>2. Download Artefact
 
@@ -43,7 +43,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Jul  6 23:41:56 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Jul  7 00:04:10 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
public_html