%title%
Isabelle Source Distribution
%body%
This is the pure source distribution of <!-- _GP_ distname -->. Note
that the <a href="binary.html">binary distribution</a> includes all
Isabelle sources as well.
<p>
<!-- _GP_ setdowncolor("#E0E0E0") -->
<center>
<table border="0" cellspacing="5" cellpadding="4" width="500">
<!-- _GP_ download("Isabelle sources with dvi documentation", distname . ".tar.gz", "../..") -->
<!-- _GP_ download("Documentation as pdf files", distname . "_pdf.tar.gz", "../..") -->
</table>
</center>
<p>
See the Isabelle <!-- _GP_ href(distname . "/README.html", "README")
--> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> files for
more information. See the <!-- _GP_ href(distname . "/NEWS", "NEWS")
--> file for a history user-relevant changes.
<p>
Use the mailing list <a
href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
to discuss problems and results. Why not <a
href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?