equal
deleted
inserted
replaced
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 |