equal
deleted
inserted
replaced
1 |
|
2 *************************************************************************** |
|
3 |
|
4 IMPORTANT NOTE: This file describes the *new* installation procedure |
|
5 using various scripts that are still supposed beta for Isabelle94-8. |
|
6 If you encounter serious problems, you may want to consider compiling |
|
7 Isabelle the olden way, as described in README.old. |
|
8 |
|
9 *************************************************************************** |
|
10 |
|
11 |
1 |
12 Isabelle installation notes |
2 Isabelle installation notes |
13 =========================== |
3 =========================== |
14 |
4 |
15 Unpacking the archive |
5 Unpacking the archive |