ANNOUNCE
changeset 62190 ec5703538300
parent 62084 969119292e25
child 62197 f354900ac0ea
equal deleted inserted replaced
62189:116f41763b2b 62190:ec5703538300
    27 ML), per-thread profiling, native Windows version (32bit and 64bit).
    27 ML), per-thread profiling, native Windows version (32bit and 64bit).
    28 
    28 
    29 
    29 
    30 You may get Isabelle2016 from the following mirror sites:
    30 You may get Isabelle2016 from the following mirror sites:
    31 
    31 
    32   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    32   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
    33   Munich (Germany)     http://isabelle.in.tum.de/
    33   Munich (Germany)     http://isabelle.in.tum.de
    34   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
    34   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle