changeset 29145 | b1c6f4563df7 |
parent 28500 | 4b79e5d3d0aa |
child 34238 | b28be884edda |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
5 # |
4 # |
6 # build - compile the Isabelle system and object-logics |
5 # build - compile the Isabelle system and object-logics |
7 |
6 |
8 if [ -L "$0" ]; then |
7 if [ -L "$0" ]; then |