21 |
21 |
22 |
22 |
23 <h2>System requirements</h2> |
23 <h2>System requirements</h2> |
24 |
24 |
25 Isabelle requires a real Unix box with sufficient resources. Fun |
25 Isabelle requires a real Unix box with sufficient resources. Fun |
26 starts at about 32MB of RAM (somewhat depending on your ML system), |
26 starts at about 32MB of memory (somewhat depending on your ML system), |
27 several tens of MB disk space and with a relatively fast CPU. |
27 several tens of MB disk space and with a relatively fast CPU. |
28 |
28 |
29 <p> |
29 <p> |
30 |
30 |
31 Furthermore, it needs the following software, which is not part of the |
31 Furthermore, it needs the following software, which is not part of the |
52 <li> SML/NJ 1.09.27 on Suns, Linux, etc. |
52 <li> SML/NJ 1.09.27 on Suns, Linux, etc. |
53 </ul> |
53 </ul> |
54 |
54 |
55 <p> |
55 <p> |
56 |
56 |
57 Poly/ML is a commercial product and costs money, but it is stable and |
57 <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a |
58 efficient. It requires relatively little memory (starting at about |
58 commercial product and costs money, but it is stable and efficient. It |
59 16MB) and disk space (about 40MB for all distributed object logics). |
59 requires relatively little memory (starting at about 16MB) and disk |
60 See <a href="http://www.ahl.co.uk/poly-ml.html">here</a> for more |
60 space (about 40MB for all distributed object logics). |
61 information. |
|
62 |
61 |
63 <p> |
62 <p> |
64 |
63 |
65 SML/NJ needs lots of store and disk space, but it is free. The last |
64 SML/NJ needs lots of store and disk space, but it is <a |
66 official release is 0.93. |
65 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>. |
67 |
66 The last official release is 0.93. Recent working versions may be |
68 Recent working versions may be better suited, under normal |
67 better suited, under normal circumstances. Beware of the many |
69 circumstances. Beware of the many incompatibilities among SML/NJ |
68 incompatibilities among SML/NJ versions! From the 1.09.x family, we |
70 versions! From the 1.09.x family, we now only support 1.09.27, or |
69 now only support 1.09.27, or later. An unofficial pre-built binary |
71 later. |
70 distribution of SML/NJ 1.09.27 for Linux is also <a |
72 |
71 href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a> |
73 <p> |
|
74 |
|
75 To obtain Standard ML of New Jersey, see the <a |
|
76 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">here</a>. An |
|
77 unofficial pre-built binary distribution of SML/NJ 1.09.27 for Linux |
|
78 is available <a |
|
79 href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">here</a>. |
|
80 |
72 |
81 |
73 |
82 <h2>Installation</h2> |
74 <h2>Installation</h2> |
83 |
75 |
84 See file <tt>INSTALL</tt> in the Isabelle sources on how to build the |
76 See file <tt>INSTALL</tt> in the Isabelle sources on how to build the |