|
8056
|
1 |
%title%
|
|
8851
|
2 |
Isabelle Source Distribution
|
|
8056
|
3 |
|
|
|
4 |
%body%
|
|
8851
|
5 |
The standard source distribution of Isabelle:
|
|
8056
|
6 |
|
|
|
7 |
<p>
|
|
|
8 |
|
|
|
9 |
<!-- _GP_ setdowncolor("#E0E0E0") -->
|
|
|
10 |
|
|
|
11 |
<center>
|
|
|
12 |
<table border="0" cellspacing="5" cellpadding="4" width="500">
|
|
|
13 |
|
|
|
14 |
<!-- _GP_ download("Isabelle sources with dvi documentation", "{ISABELLE}.tar.gz", "{PACKED_SIZE} K") -->
|
|
|
15 |
<!-- _GP_ download("Documentation as pdf files", "{ISABELLE}_pdf.tar.gz", "{PACKED_SIZE_PDF} K") -->
|
|
8630
|
16 |
<!-- _GP_ download("Browse all files unpacked", "{ISABELLE}", "{UNPACKED_SIZE} K") -->
|
|
8056
|
17 |
|
|
|
18 |
</table>
|
|
|
19 |
</center>
|
|
|
20 |
|
|
|
21 |
<p>
|
|
|
22 |
|
|
8841
|
23 |
Please see the Isabelle <a href="{ISABELLE}/README.html">README</a>
|
|
|
24 |
and <a href="{ISABELLE}/INSTALL">INSTALL</a> files for more
|
|
|
25 |
information.
|
|
8056
|
26 |
|
|
8070
|
27 |
<p>
|
|
|
28 |
|
|
|
29 |
Use the mailing list <a href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
|
|
|
30 |
to discuss problems and results. (Why not <A HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>?)
|