1 #!/bin/bash -norc
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # DESCRIPTION: get values from Isabelle settings environment
6