--- a/mc.html	Tue Jul 08 12:56:12 2014 +0100
+++ b/mc.html	Tue Jul 08 12:56:38 2014 +0100
@@ -40,7 +40,7 @@
 
 <li>4. If you want to view and edit the sources of the paper, start on the command line
   <p><tt>./Isabelle2014-RC0.app/Isabelle/bin/isabelle jedit Isabelle_Proofs.thy</tt></p>
-</u>
+</ul>
 
 <H4>For Linux</H4>  
 <ul>
@@ -63,7 +63,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Jul  8 12:56:02 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jul  8 12:56:33 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>