2 Isabelle Documentation |
2 Isabelle Documentation |
3 |
3 |
4 %body% |
4 %body% |
5 <!-- _GP_ distname --> documentation is included here as browsable PDF |
5 <!-- _GP_ distname --> documentation is included here as browsable PDF |
6 for convenience. These documents are also part of the standard |
6 for convenience. These documents are also part of the standard |
7 Isabelle distribution. |
7 Isabelle distribution. For getting started with Isabelle quickly, we |
|
8 recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>. |
8 |
9 |
9 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
10 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
10 |
11 |
11 The following text files of the Isabelle distribution may be also of |
12 The Isabelle distribution also includes a few text files with further |
12 some interest: |
13 information about the present release and additional installation |
|
14 instructions. |
13 <ul> |
15 <ul> |
14 <li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") --> |
16 <li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") --> |
15 <li> <!-- _GP_ href(distname . "/README.html", "README") --> |
17 <li> <!-- _GP_ href(distname . "/README.html", "README") --> |
16 <li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> |
18 <li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> |
17 <li> <!-- _GP_ href(distname . "/NEWS", "NEWS") --> |
19 <li> <!-- _GP_ href(distname . "/NEWS", "NEWS") --> |
18 </ul> |
20 </ul> |
|
21 |
|
22 <p> |
|
23 |
|
24 Use the mailing list <a href="mailto: |
|
25 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
|
26 <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss |
|
27 problems and results. Why not <a |
|
28 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |