| author | paulson |
| Tue, 10 Feb 2004 12:17:04 +0100 | |
| changeset 14379 | ea10a8c3e9cf |
| parent 13053 | 68ffc262c766 |
| child 14574 | 8c4f90bb769d |
| 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@13053 | 9 |
recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial |
| wenzelm@13053 | 10 |
on Isabelle/HOL</a> -- 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 |
| paulson@14379 | 29 |
<a href="http://www.cl.cam.ac.uk/users/lcp/archive/">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>? |