equal
deleted
inserted
replaced
|
1 |
|
2 *************************************************************************** |
|
3 |
|
4 IMPORTANT NOTE: These tools will disappear next time! |
|
5 |
|
6 *************************************************************************** |
|
7 |
|
8 |
1 Tools: Shell scripts and utilities associated with Isabelle |
9 Tools: Shell scripts and utilities associated with Isabelle |
2 |
10 |
3 To make these tools visible, you may wish to add this directory to your PATH |
11 To make these tools visible, you may wish to add this directory to your PATH |
4 variable. |
12 variable. |
5 |
13 |