# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1404687877 -3600
# Node ID e168c45863e3188ac8a958ad74cb3719455b9fc1
# Parent  49baf2a172063134a87835ec9f985fa566531558
updated mc

diff -r 49baf2a17206 -r e168c45863e3 mc.html
--- 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>