#!/bin/sh
# Author: Jeff Dalton
# Updated: Wed Feb  4 02:52:14 2004 by Jeff Dalton
# Copyright: (c) 2004, AIAI, University of Edinburgh

this_dir=`dirname "$0"`
export ix=$this_dir/..

exec $ix/etc/path-java ix.iplan.Thatcher "$@"
