#!/bin/sh
#
# Simple shell script for launching Proof General.
#
# Uses XEmacs in preference to Emacs
#
# You must edit PGHOME to the directory where (the lisp files of)
# Proof General is installed.
#
# proofgeneral,v 7.2 2002/08/29 13:29:27 da Exp
#

PGHOME=/usr/share/emacs/ProofGeneral
#PGHOME=~/ProofGeneral

if [ -z "$EMACS" ]; then
    if which xemacs > /dev/null; then 
	EMACS=xemacs
    else 
	EMACS=emacs
    fi
fi

$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
