| changeset 52058 | 83aff4cb984a |
| parent 52056 | f5d9bceb4dc0 |
| child 55272 | 6e943f644cca |
| 52057:e66d7e2aa475 | 52058:83aff4cb984a |
|---|---|
1 The Isabelle System Distribution |
1 The Isabelle System Distribution |
2 |
2 |
3 Version information |
3 Version information |
4 |
4 |
5 This is Isabelle2012: May 2012. |
5 This is some unidentified repository version of Isabelle2013. |
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 |