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