equal
deleted
inserted
replaced
1 %title% |
|
2 Isabelle Source Distribution |
|
3 |
|
4 %body% |
|
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. |
|
8 |
|
9 <p> |
|
10 |
|
11 <!-- _GP_ setdowncolor("#E0E0E0") --> |
|
12 |
|
13 <center> |
|
14 <table border="0" cellspacing="5" cellpadding="4" width="500"> |
|
15 |
|
16 <!-- _GP_ download("Isabelle sources with dvi documentation", distname . ".tar.gz", "../..") --> |
|
17 <!-- _GP_ download("Documentation as pdf files", distname . "_pdf.tar.gz", "../..") --> |
|
18 |
|
19 </table> |
|
20 </center> |
|
21 |
|
22 <p> |
|
23 |
|
24 See the Isabelle <!-- _GP_ href(distname . "/README.html", "README") |
|
25 --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> files for |
|
26 more information. See the <!-- _GP_ href(distname . "/NEWS", "NEWS") |
|
27 --> file for a history user-relevant changes. |
|
28 |
|
29 <p> |
|
30 |
|
31 Use the mailing list <a |
|
32 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
|
33 to discuss problems and results. Why not <a |
|
34 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |
|