tuned;
authorwenzelm
Fri Jan 22 17:41:13 1999 +0100 (1999-01-22)
changeset 6149372919b37b5d
parent 6148 d97a944c6ea3
child 6150 71974ec3ebfb
tuned;
Admin/page/index.html
     1.1 --- a/Admin/page/index.html	Wed Jan 20 18:07:34 1999 +0100
     1.2 +++ b/Admin/page/index.html	Fri Jan 22 17:41:13 1999 +0100
     1.3 @@ -21,15 +21,23 @@
     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
     1.8 -alt="[Cambridge]"></a> <a
     1.9 -href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
    1.10 -width=48 border=0 align=right alt="[Munich]"></a> This page provides
    1.11 -general information on Isabelle, more details are available on the
    1.12 -local Isabelle pages at <a
    1.13 -href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
    1.14 -and <a href="http://isabelle.in.tum.de/munich.html">Munich</a>.  See
    1.15 -there for information on projects done with Isabelle, mailing list
    1.16 +src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge
    1.17 +logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img
    1.18 +src="munich.gif" width=48 border=0 align=right alt="[Munich
    1.19 +logo]"></a> This page provides general information on Isabelle, more
    1.20 +specific information is available from the local pages
    1.21 +
    1.22 +<ul>
    1.23 +
    1.24 +<li> <a
    1.25 +href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
    1.26 +at Cambridge</strong></a> 
    1.27 +
    1.28 +<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
    1.29 +at Munich</strong></a>
    1.30 +
    1.31 +</ul>
    1.32 +See there for information on projects done with Isabelle, mailing list
    1.33  archives, research papers, the Isabelle bibliography, and Isabelle
    1.34  workshops and courses.
    1.35