| changeset 57414 | fe1be2844fda |
| parent 33915 | 44a10fe6bd10 |
| 57413:c14af83bd8db | 57414:fe1be2844fda |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # |
4 # |
5 # DESCRIPTION: collect heap names from ISABELLE_PATH |
5 # DESCRIPTION: collect heap names from ISABELLE_PATH -- Proof General legacy |
6 |
6 |
7 |
7 |
8 PRG=$(basename "$0") |
8 PRG=$(basename "$0") |
9 |
9 |
10 function usage() |
10 function usage() |