Admin/MIRRORS
changeset 13447 3470596f3cd5
parent 13046 69ab0e74ccda
equal deleted inserted replaced
13446:f0fdd0499dad 13447:3470596f3cd5
     6 http://isabelle.in.tum.de/dist/
     6 http://isabelle.in.tum.de/dist/
     7 
     7 
     8 * New Jersey (USA)
     8 * New Jersey (USA)
     9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
     9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
    10 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 (??)