Admin/index.html
changeset 4550 53553ccda0e6
parent 4549 aa02667fb3da
child 4554 2c4b3b31a354
equal deleted inserted replaced
4549:aa02667fb3da 4550:53553ccda0e6
    70 href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> |
    70 href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> |
    71 <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
    71 <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
    72 
    72 
    73 </ul>
    73 </ul>
    74 
    74 
    75 <p><hr><p>
    75 <p><hr>
    76 
    76 
    77 <i>{DATE}</i>
    77 <i>{AUTHOR} {DATE}</i>
    78 
    78 
    79 </body>
    79 </body>
    80 
    80 
    81 </html>
    81 </html>