Admin/page/dist-content/index.content
author wenzelm
Wed, 13 Sep 2000 22:49:17 +0200
changeset 9954 734e0ec40f44
parent 9920 9734f2717203
child 10006 ede5f78b9398
permissions -rw-r--r--
dummy (generated by makedist);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
<!-- $Id$ -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
%title%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
Isabelle Distribution Area
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     6
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     7
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     8
%body%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
<p>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    11
<h2>Mirror sites (in alphabetical order)</h2>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    12
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    13
<ul>	
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    14
8070
dbbef2367723 some tuning (incorporated David's suggestions)
kleing
parents: 8056
diff changeset
    15
<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/source.html">Cambridge (UK)</a> <br>&nbsp;</li>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
8070
dbbef2367723 some tuning (incorporated David's suggestions)
kleing
parents: 8056
diff changeset
    17
<li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br>&nbsp;</li>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    18
	
8629
c3d90724abcc included new stanford mirror, mirror links now point to source directly
kleing
parents: 8070
diff changeset
    19
<li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br>&nbsp;</li>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    20
8629
c3d90724abcc included new stanford mirror, mirror links now point to source directly
kleing
parents: 8070
diff changeset
    21
<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br>&nbsp;</li>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    22
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    23
</ul>