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