equal
deleted
inserted
replaced
37 |
37 |
38 <h2>Isabelle releases</h2> |
38 <h2>Isabelle releases</h2> |
39 |
39 |
40 <ul> |
40 <ul> |
41 |
41 |
42 <li> <a href="{ISABELLE}.tar.gz"><strong>{ISABELLE}</strong></a>: <a |
42 <li> <a href="{ISABELLE}.tar.gz"><strong>{ISABELLE}</strong></a>: |
43 href="{ISABELLE}/README.html">README</a>, <a |
43 <ul> |
44 href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K) including |
44 |
45 all documentation in dvi format, <a |
45 <li> <a href="{ISABELLE}/README.html">README</a> |
46 href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a> |
46 <li> <a href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K) |
47 ({PACKED_SIZE_PDF}K), all <a href="{ISABELLE}">unpacked</a> |
47 including all documentation in dvi format |
48 ({UNPACKED_SIZE}K). |
48 <li> <a href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a> |
|
49 ({PACKED_SIZE_PDF}K) |
|
50 <li> all files <a href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K) |
|
51 |
|
52 </ul> |
49 |
53 |
50 <p> Isabelle documentation: |
54 <p> Isabelle documentation: |
51 <ul> |
55 <ul> |
52 |
56 |
53 <li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> |
57 <li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> |
63 |
67 |
64 </ul> |
68 </ul> |
65 |
69 |
66 <p> |
70 <p> |
67 |
71 |
68 <li> <a href="rpm/">Binary distribution</a> of {ISABELLE} (for |
72 <li> <a href="rpm/">Binary distribution</a> of {ISABELLE} for |
69 rpm-based Linux/x86 systems). |
73 rpm-based Linux/x86 systems |
70 |
74 |
71 <p> |
75 <p> |
72 |
76 |
73 <li> Past releases (from Cambridge): <a |
77 <li> Past releases (from Cambridge): <a |
74 href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a> |
78 href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle98-1.tar.gz">Isabelle98-1</a> |