blob: 9c3706fb26f6e970a4531bf49d920431d4ec0a97 (
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=~/ProofGeneral
PGHOME=/usr/share/emacs/ProofGeneral
if which xemacs > /dev/null; then
EMACS=xemacs
else
EMACS=emacs
fi
$EMACS -l $PGHOME/generic/proof-site.el "$@"
|
