changeset 14981 | e73f8140af78 |
parent 11550 | 915c5de6480f |
child 15574 | b1d1b5bfc464 |
14980:267cc670317a | 14981:e73f8140af78 |
---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # Author: Markus Wenzel, TU Muenchen |
4 # Author: Markus Wenzel, TU Muenchen |
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
6 # |
5 # |
7 # DESCRIPTION: install standalone Isabelle executables |
6 # DESCRIPTION: install standalone Isabelle executables |
8 |
7 |
9 |
8 |
10 PRG=$(basename "$0") |
9 PRG=$(basename "$0") |