equal
deleted
inserted
replaced
1 %title% |
1 %title% |
2 Isabelle Source Distribution |
2 Isabelle Source Distribution |
3 |
3 |
4 %body% |
4 %body% |
5 This is the complete source distribution of <!-- _GP_ distname -->. |
5 This is the pure source distribution of <!-- _GP_ distname -->. Note |
|
6 that the <a href="binary.html">binary distribution</a> includes all |
|
7 Isabelle sources as well. |
6 |
8 |
7 <p> |
9 <p> |
8 |
10 |
9 <!-- _GP_ setdowncolor("#E0E0E0") --> |
11 <!-- _GP_ setdowncolor("#E0E0E0") --> |
10 |
12 |
17 </table> |
19 </table> |
18 </center> |
20 </center> |
19 |
21 |
20 <p> |
22 <p> |
21 |
23 |
22 Please see the Isabelle <!-- _GP_ href(distname . "/README.html", |
24 See the Isabelle <!-- _GP_ href(distname . "/README.html", "README") |
23 "README") --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> |
25 --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> files for |
24 files for more information. See the <!-- _GP_ href(distname |
26 more information. See the <!-- _GP_ href(distname . "/NEWS", "NEWS") |
25 . "/NEWS", "NEWS") --> file for a history user-relevant changes. |
27 --> file for a history user-relevant changes. |
26 |
28 |
27 <p> |
29 <p> |
28 |
30 |
29 Use the mailing list <a |
31 Use the mailing list <a |
30 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
32 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |