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