equal
deleted
inserted
replaced
32 The Isabelle Page |
32 The Isabelle Page |
33 |
33 |
34 The Isabelle home page may be accessed from the following mirror |
34 The Isabelle home page may be accessed from the following mirror |
35 sites: |
35 sites: |
36 |
36 |
37 * http://www.cl.cam.ac.uk/research/hvg/Isabelle |
37 * https://www.cl.cam.ac.uk/research/hvg/Isabelle |
38 * http://isabelle.in.tum.de |
38 * https://isabelle.in.tum.de |
39 * http://mirror.cse.unsw.edu.au/pub/isabelle |
39 * http://mirror.cse.unsw.edu.au/pub/isabelle |
40 * http://mirror.clarkson.edu/isabelle |
40 * https://mirror.clarkson.edu/isabelle |
41 |
41 |
42 Mailing list |
42 Mailing list |
43 |
43 |
44 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a |
44 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a |
45 forum for Isabelle users to discuss problems and exchange |
45 forum for Isabelle users to discuss problems and exchange |