| changeset 6486 | 1f1d5e00e0a5 |
| parent 6416 | 1452905753ab |
| child 8809 | 85539b33be03 |
| 6485:0d334465f29a | 6486:1f1d5e00e0a5 |
|---|---|
1 |
1 |
2 Isabelle installation notes |
2 Isabelle compilation and installation notes |
3 =========================== |
3 =========================================== |
4 |
4 |
5 Unpacking the archive |
5 Unpacking the archive |
6 --------------------- |
6 --------------------- |
7 |
7 |
8 After unpacking the Isabelle distribution archive (using tar and gzip) |
8 After unpacking the Isabelle distribution archive (using tar and gzip) |