#!/bin/sh
# Author: Jeff Dalton
# Updated: Tue Mar 28 18:22:43 2006 by Jeff Dalton
# Copyright: (c) 2005, 2006, AIAI, University of Edinburgh

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

exec $ix/etc/path-java ix.isim.ISim "$@"
