<html>
<!-- $Id$ -->
<head>
<title>The Isabelle System Distribution</title>
</head>
<body>
<h1>The Isabelle System Distribution</h1>
<h2>Version information</h2>
This is the internal repository version of Isabelle. Starting with
Isabelle98, the current line of Isabelle development introduces many
new features, but also some incompatibilities with Isabelle94-XX. See
the <tt>NEWS</tt> file in the distribution for more details.
<h2>System requirements</h2>
Isabelle requires a real Unix box with sufficient resources. Fun
starts at about 32-64 MB of main memory (somewhat depending on your ML
system), with several tens of MB disk space and a decent CPU.
Speaking by today's hardware standards, even a rather low-end Linux
box should make a nice platform for Isabelle.
<p>
Furthermore, Isabelle needs the following software, which is not part
of the distribution:
<ul>
<li> A full Standard ML Compiler (e.g. SML of New Jersey).
<li> The GNU bash shell (version 1.x or 2.x).
<li> Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
is <em>not</em> sufficient).
</ul>
<p>
The following ML system and platform combinations are known to work
very well:
<ul>
<li> SML/NJ 110.x on any Unix platform (e.g. Suns, Linux).
<li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
problems with Linux and HP-UX, though.
<li> Poly/ML versions 2.x and 3.1 on Suns.
</ul>
<p>
<a
href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>