README.html
changeset 4987 257aeccdefc3
parent 4980 a5b90f34a05c
child 5207 dd4f51adfff3
equal deleted inserted replaced
4986:d4f257d3445a 4987:257aeccdefc3
    11 
    11 
    12 <h1>The Isabelle System Distribution</h1>
    12 <h1>The Isabelle System Distribution</h1>
    13 
    13 
    14 <h2>Version information</h2>
    14 <h2>Version information</h2>
    15 
    15 
    16 This is an internal working version of Isabelle.  Compared to the
    16 This is the internal repository version of Isabelle.  Starting with
    17 Isabelle94 line it introduces many new features, but also some
    17 Isabelle98, the current line of Isabelle introduces many new features,
    18 imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
    18 but also some imcompatibilities with Isabelle94.  See the
    19 more details.
    19 <tt>NEWS</tt> file in the distribution for more details.
    20 
    20 
    21 
    21 
    22 <h2>System requirements</h2>
    22 <h2>System requirements</h2>
    23 
    23 
    24 Isabelle requires a real Unix box with sufficient resources. Fun
    24 Isabelle requires a real Unix box with sufficient resources. Fun