echo "The Graphical Pretty Printer for Proof Obligations. Version 1.0."
echo "Copyright (C) 1999 Arkadiusz Bryndza"
sml @SMLload=/tmp3/arkady/gpp10bin/src/../bin/ob_sml.x86-linux
