ANNOUNCE
changeset 27085 dbf4f791953d
parent 27066 dbf97292e5fd
child 30848 c57b57546a07
equal deleted inserted replaced
27084:654bf12de98b 27085:dbf4f791953d
    29 * Reorganized and updated version of Isabelle/Isar Reference Manual.
    29 * Reorganized and updated version of Isabelle/Isar Reference Manual.
    30 
    30 
    31 
    31 
    32 You may get Isabelle2008 from the following mirror sites:
    32 You may get Isabelle2008 from the following mirror sites:
    33 
    33 
    34   Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
    34   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    35   Munich (Germany)     http://isabelle.in.tum.de/
    35   Munich (Germany)     http://isabelle.in.tum.de/
    36   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
    36   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/