src/Tools/README
changeset 3279 815ef5848324
parent 817 99824db26a29
equal deleted inserted replaced
3278:636322bfd057 3279:815ef5848324
       
     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