equal
deleted
inserted
replaced
|
1 |
|
2 Subject: Announcing Isabelle99-1 |
|
3 To: isabelle-users@cl.cam.ac.uk |
|
4 |
|
5 Isabelle99-1 is now available. |
|
6 |
|
7 |
|
8 The most prominent highlights are: |
|
9 |
|
10 * |
|
11 |
|
12 See the NEWS file distributed with Isabelle for more details. |
|
13 |
|
14 |
|
15 You may get Isabelle99-1 from any of the following mirror sites: |
|
16 |
|
17 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
|
18 Munich (Germany) http://isabelle.in.tum.de/dist/ |
|
19 New Jersey (USA) ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html |
|
20 Stanford (USA) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html |