Admin/page/dist-content/index.content
changeset 10020 46e77dff3970
parent 10016 3833b58a5d88
child 11109 ce1cefc6c14c
equal deleted inserted replaced
10019:7564e6723fb8 10020:46e77dff3970
    11 
    11 
    12 <ul>	
    12 <ul>	
    13 
    13 
    14 <li> <a
    14 <li> <a
    15 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge
    15 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge
    16 (UK)</a> <br>&nbsp;</li>
    16 (UK)</a>
    17 
    17 
    18 <li> <a href="http://isabelle.in.tum.de/dist/packages.html">Munich
    18 <li> <a href="http://isabelle.in.tum.de/dist/packages.html">Munich
    19 (Germany)</a> <br>&nbsp;</li>
    19 (Germany)</a>
    20 	
    20 	
    21 <li> <a
    21 <li> <a
    22 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New
    22 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New
    23 Jersey (USA)</a> <br>&nbsp;</li>
    23 Jersey (USA)</a>
    24 
    24 
    25 <li> <a
    25 <li> <a
    26 href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford
    26 href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford
    27 (USA)</a> <br>&nbsp;</li>
    27 (USA)</a>
    28 
    28 
    29 </ul>
    29 </ul>