| changeset 67866 | 11e4060bcdca |
| parent 62197 | f354900ac0ea |
| child 68649 | f849fc1cb65e |
| 67865:ab0b8e388967 | 67866:11e4060bcdca |
|---|---|
1 The Isabelle System Distribution |
1 The Isabelle System Distribution |
2 |
2 |
3 Version information |
3 Version information |
4 |
4 |
5 This is some unidentified repository version of Isabelle. |
5 This is some 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 Installation |
10 Installation |