1 #!/bin/bash -norc
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # DESCRIPTION: make all Isabelle systems afresh
6 #