changeset 30898 | 16912b4e6625 |
parent 30852 | 59a422908e29 |
child 33875 | e5e7faaed7ad |
30897:44cba7df4003 | 30898:16912b4e6625 |
---|---|
4 |
4 |
5 1) System installation |
5 1) System installation |
6 ---------------------- |
6 ---------------------- |
7 |
7 |
8 The Isabelle distribution includes both complete sources and |
8 The Isabelle distribution includes both complete sources and |
9 precompiled binary packages for common Unix platforms. |
9 precompiled binary packages for common Unix-like platforms. |
10 |
10 |
11 |
11 |
12 Quick installation |
12 Quick installation |
13 ------------------ |
13 ------------------ |
14 |
14 |