Admin/MIRRORS
changeset 9048 3add5cfc89c2
parent 6537 b1288c5e599c
child 13046 69ab0e74ccda
equal deleted inserted replaced
9047:810966809663 9048:3add5cfc89c2
     1 
     1 
     2 * Cambridge (UK)
     2 * Cambridge (UK)
     3 http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     3 http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     4 
       
     5 * Minho (Portugal)	-- CURRENTLY DISABLED
       
     6 http://ciumix.ci.uminho.pt/mirrors/isabelle/
       
     7 archive@ci.uminho.pt, sergio@ci.uminho.pt
       
     8 
     4 
     9 * Munich (Germany)
     5 * Munich (Germany)
    10 http://isabelle.in.tum.de/dist/
     6 http://isabelle.in.tum.de/dist/
    11 
     7 
    12 * New Jersey (USA)
     8 * New Jersey (USA)
    13 ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
     9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
    14 Dave MacQueen <dbm@research.bell-labs.com>
    10 Dave MacQueen <dbm@research.bell-labs.com>
       
    11 
       
    12 * Stanford (USA)
       
    13 ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
       
    14 Lal George (?)