#!/bin/sh
# SpecTcl, by S. A. Uhler
# Copyright (c) 1994-1995 Sun Microsystems, Inc.
#
# See the file "license.txt" for information on usage and redistribution
# of this file, and for a DISCLAIMER OF ALL WARRANTIES.
#
# Change BASE to the directory that contains the SpecTcl source files
# Make sure Base/bin is in your path
BASE=/usr/contrib/lib

DIR=$BASE/SpecJava
WISH=wish4.1

$WISH $DIR/main.tk -python $@ &
echo "Starting SpecPython 0.3"
exit 0
