equal
deleted
inserted
replaced
25 * More uniform 64-bit platform support: smaller Isabelle application. |
25 * More uniform 64-bit platform support: smaller Isabelle application. |
26 |
26 |
27 |
27 |
28 You may get Isabelle2018 from the following mirror sites: |
28 You may get Isabelle2018 from the following mirror sites: |
29 |
29 |
30 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
30 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
31 Munich (Germany) http://isabelle.in.tum.de |
31 Munich (Germany) https://isabelle.in.tum.de |
32 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
32 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
33 Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle |
33 Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle |