| changeset 32361 | 141e5151b918 |
| parent 30898 | 16912b4e6625 |
| child 33842 | efa1b89c79e0 |
| 32360:79b5b3031c87 | 32361:141e5151b918 |
|---|---|
1 The Isabelle System Distribution |
1 The Isabelle System Distribution |
2 |
2 |
3 Version information |
3 Version information |
4 |
4 |
5 This is the internal repository version of Isabelle. |
5 This is some unidentified repository version of Isabelle. |
6 |
6 |
7 See the NEWS file in the distribution for details on user-relevant |
7 See the NEWS file in the distribution for details on user-relevant |
8 changes. |
8 changes. |
9 |
9 |
10 System requirements |
10 System requirements |