index.html

<html>
<head><title>Homepage: Anthony Fox</title>
  <link rel="stylesheet" href="screen.css" type="text/css" media="screen" >
  <link rel="stylesheet" href="mobile.css" type="text/css" media="only screen and (max-device-width: 480px)" >
</head>
<body>

<h1>Anthony Fox</h1>

<h2>Links</h2>

<ul>
<li> <a href="l3/index.html">The L3 specification language</a>. </li>
<li>  <a href="http://svr-acjf3-armie.cl.cam.ac.uk">A web-interface to the (old) ARM model</a>.
<li> <a href="publications.html">Publications and reports</a>. </li>
</ul>

<p>&nbsp;</p>

</body>
</html>