author | wenzelm |
Fri, 06 Oct 2000 16:11:53 +0200 | |
changeset 10162 | 947b7b8b0a69 |
parent 10018 | 7600cd36ec61 |
child 11109 | ce1cefc6c14c |
permissions | -rw-r--r-- |
kleing@8056 | 1 |
%title% |
kleing@8056 | 2 |
Isabelle Documentation |
kleing@8056 | 3 |
|
kleing@8056 | 4 |
%body% |
wenzelm@10006 | 5 |
<!-- _GP_ distname --> documentation is included here as browsable PDF |
wenzelm@10006 | 6 |
for convenience. These documents are also part of the standard |
wenzelm@10162 | 7 |
Isabelle distribution. For getting started with Isabelle quickly, we |
wenzelm@10162 | 8 |
recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>. |
kleing@8056 | 9 |
|
kleing@8056 | 10 |
<!-- _GP_ include("$pwd/docu-contents.dist") --> |
wenzelm@10016 | 11 |
|
wenzelm@10162 | 12 |
The Isabelle distribution also includes a few text files with further |
wenzelm@10162 | 13 |
information about the present release and additional installation |
wenzelm@10162 | 14 |
instructions. |
wenzelm@10016 | 15 |
<ul> |
wenzelm@10016 | 16 |
<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") --> |
wenzelm@10016 | 17 |
<li> <!-- _GP_ href(distname . "/README.html", "README") --> |
wenzelm@10016 | 18 |
<li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> |
wenzelm@10016 | 19 |
<li> <!-- _GP_ href(distname . "/NEWS", "NEWS") --> |
wenzelm@10016 | 20 |
</ul> |
wenzelm@10162 | 21 |
|
wenzelm@10162 | 22 |
<p> |
wenzelm@10162 | 23 |
|
wenzelm@10162 | 24 |
Use the mailing list <a href="mailto: |
wenzelm@10162 | 25 |
isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
wenzelm@10162 | 26 |
<a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss |
wenzelm@10162 | 27 |
problems and results. Why not <a |
wenzelm@10162 | 28 |
href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |