equal
deleted
inserted
replaced
32 |
32 |
33 * Updated and extended manuals: codegen, datatypes, implementation, |
33 * Updated and extended manuals: codegen, datatypes, implementation, |
34 isar-ref, jedit, system. |
34 isar-ref, jedit, system. |
35 |
35 |
36 |
36 |
37 You may get Isabelle2013-2 from the following mirror sites: |
37 You may get Isabelle2014 from the following mirror sites: |
38 |
38 |
39 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
39 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
40 Munich (Germany) http://isabelle.in.tum.de/ |
40 Munich (Germany) http://isabelle.in.tum.de/ |
41 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/ |
41 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/ |