changeset 8851 | d816ec3fab28 |
parent 8841 | 95f2b61f2389 |
child 9920 | 9734f2717203 |
8850:03cb6625c4a5 | 8851:d816ec3fab28 |
---|---|
1 %title% |
1 %title% |
2 Isabelle Source Releases |
2 Isabelle Source Distribution |
3 |
3 |
4 %body% |
4 %body% |
5 The source distribution of Isabelle: |
5 The standard source distribution of Isabelle: |
6 |
6 |
7 <p> |
7 <p> |
8 |
8 |
9 <!-- _GP_ setdowncolor("#E0E0E0") --> |
9 <!-- _GP_ setdowncolor("#E0E0E0") --> |
10 |
10 |