Admin/page/index.html
changeset 6150 71974ec3ebfb
parent 6149 372919b37b5d
child 6411 07e95e4cfefe
     1.1 --- a/Admin/page/index.html	Fri Jan 22 17:41:13 1999 +0100
     1.2 +++ b/Admin/page/index.html	Fri Jan 22 17:47:46 1999 +0100
     1.3 @@ -21,11 +21,12 @@
     1.4  
     1.5  <a
     1.6  href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
     1.7 -src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge
     1.8 -logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img
     1.9 -src="munich.gif" width=48 border=0 align=right alt="[Munich
    1.10 -logo]"></a> This page provides general information on Isabelle, more
    1.11 -specific information is available from the local pages
    1.12 +src="cambridge.gif" width=145 border=0 align=right
    1.13 +alt="[Cambridge logo]"></a> <a
    1.14 +href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
    1.15 +width=48 border=0 align=right alt="[Munich logo]"></a> This page
    1.16 +provides general information on Isabelle, more specific information is
    1.17 +available from the local pages
    1.18  
    1.19  <ul>
    1.20  
    1.21 @@ -37,6 +38,7 @@
    1.22  at Munich</strong></a>
    1.23  
    1.24  </ul>
    1.25 +
    1.26  See there for information on projects done with Isabelle, mailing list
    1.27  archives, research papers, the Isabelle bibliography, and Isabelle
    1.28  workshops and courses.