| changeset 2744 | 34993cdffbf7 |
| parent 2651 | 60d8d06f84a5 |
| child 2760 | c2a90e8b4831 |
| 2743:b001ec2b56e1 | 2744:34993cdffbf7 |
|---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # patch-scripts.bash - relocate interpreter paths of Isabelle scripts. |
4 # patch-scripts.bash - relocate interpreter paths of executable scripts. |
5 # |
5 # |
6 |
6 |
7 ## find binaries |
7 ## find binaries |
8 |
8 |
9 function findbin() |
9 function findbin() |