1 #!/bin/bash -norc
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # build - compile the Isabelle system and object-logics
6