--- a/mc.html	Sun Jul 06 23:11:59 2014 +0100
+++ b/mc.html	Sun Jul 06 23:42:33 2014 +0100
@@ -27,16 +27,23 @@
 Martin Berger, Laurence Tratt, Christian Urban
 <p>
 <ul>
-<li>1. Download Isabelle
+<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>
+  </ul>
+<li>2. Download Artefact
+
+<li>3. Check Artefact
+
+<li>4. Inspect Artefact
 </u>
 
 
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Feb 13 20:24:23 CET 2012
-<!-- hhmts end -->
+<P>
+<!-- hhmts start --> Last modified: Sun Jul  6 23:41:56 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>