author | wenzelm |
Mon, 04 Mar 2002 14:27:10 +0100 | |
changeset 13010 | 3437d8d89803 |
parent 12845 | 66aaa0eb9069 |
child 13053 | 68ffc262c766 |
permissions | -rw-r--r-- |
kleing@8056 | 1 |
%title% |
kleing@8056 | 2 |
Isabelle Documentation |
kleing@8056 | 3 |
|
kleing@8056 | 4 |
%body% |
wenzelm@12845 | 5 |
|
wenzelm@10006 | 6 |
<!-- _GP_ distname --> documentation is included here as browsable PDF |
wenzelm@10006 | 7 |
for convenience. These documents are also part of the standard |
wenzelm@10162 | 8 |
Isabelle distribution. For getting started with Isabelle quickly, we |
wenzelm@12845 | 9 |
recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> -- |
wenzelm@12845 | 10 |
published by Springer Verlag as <a |
wenzelm@13010 | 11 |
href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. |
kleing@8056 | 12 |
|
kleing@8056 | 13 |
<!-- _GP_ include("$pwd/docu-contents.dist") --> |
wenzelm@10016 | 14 |
|
wenzelm@10162 | 15 |
The Isabelle distribution also includes a few text files with further |
wenzelm@10162 | 16 |
information about the present release and additional installation |
wenzelm@10162 | 17 |
instructions. |
wenzelm@10016 | 18 |
<ul> |
wenzelm@11109 | 19 |
<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") --> |
wenzelm@11109 | 20 |
<li><!-- _GP_ href(distname . "/README.html", "README") --> |
wenzelm@11109 | 21 |
<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> |
wenzelm@11109 | 22 |
<li><!-- _GP_ href(distname . "/NEWS", "NEWS") --> |
wenzelm@10016 | 23 |
</ul> |
wenzelm@10162 | 24 |
|
wenzelm@10162 | 25 |
<p> |
wenzelm@10162 | 26 |
|
wenzelm@10162 | 27 |
Use the mailing list <a href="mailto: |
wenzelm@10162 | 28 |
isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
wenzelm@10162 | 29 |
<a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss |
wenzelm@10162 | 30 |
problems and results. Why not <a |
wenzelm@10162 | 31 |
href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |