| changeset 70286 | 9d7256d23ae3 |
| parent 70107 | 491453ea09bb |
| child 71485 | 29e297fd5473 |
| 70285:be248d734a5d | 70286:9d7256d23ae3 |
|---|---|
1 Subject: Announcing Isabelle2018 |
1 Subject: Announcing Isabelle2019 |
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2019 is now available. |
4 Isabelle2019 is now available. |
5 |
5 |
6 This version introduces many changes over Isabelle2018: see the NEWS |
6 This version introduces many changes over Isabelle2018: see the NEWS |