equal
deleted
inserted
replaced
21 * Improved support for the Cygwin platform (Windows). |
21 * Improved support for the Cygwin platform (Windows). |
22 |
22 |
23 * Support for Poly/ML 5.2 with improved handling of multithreading and |
23 * Support for Poly/ML 5.2 with improved handling of multithreading and |
24 external processes. |
24 external processes. |
25 |
25 |
|
26 * Reorganized version of Isabelle/Isar Reference Manual. |
|
27 |
26 |
28 |
27 You may get Isabelle2008 from the following mirror sites: |
29 You may get Isabelle2008 from the following mirror sites: |
28 |
30 |
29 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
31 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
30 Munich (Germany) http://isabelle.in.tum.de/ |
32 Munich (Germany) http://isabelle.in.tum.de/ |