changeset 3279 | 815ef5848324 |
parent 817 | 99824db26a29 |
--- a/src/Tools/README Wed May 21 17:11:46 1997 +0200 +++ b/src/Tools/README Wed May 21 17:13:00 1997 +0200 @@ -1,3 +1,11 @@ + +*************************************************************************** + +IMPORTANT NOTE: These tools will disappear next time! + +*************************************************************************** + + Tools: Shell scripts and utilities associated with Isabelle To make these tools visible, you may wish to add this directory to your PATH