#!/bin/sh
# Author: Jeff Dalton
# Updated: Thu Mar 16 23:00:52 2006 by Jeff Dalton
# Copyright: (c) 2001, AIAI, University of Edinburgh

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

# exec $ix/etc/path-java ix.test.ShowIDE "$@"
exec $ix/etc/path-java ix.iview.DomainEditor "$@"
