blob: 8276f9bf9c3d42328c93370ae2b14ba4945d83a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/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.
#
# $Id$
#
PGHOME=/usr/share/emacs/ProofGeneral
#PGHOME=~/ProofGeneral
if which xemacs > /dev/null; then
EMACS=xemacs
else
EMACS=emacs
fi
$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
|