From 24f9460f96fb8f6b5099b8cdcde6cdcdc09afb84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 18:46:34 +0000
Subject: Script for launching proofgeneral.

---
 bin/proofgeneral | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 bin/proofgeneral

diff --git a/bin/proofgeneral b/bin/proofgeneral
new file mode 100644
index 00000000..220ae9df
--- /dev/null
+++ b/bin/proofgeneral
@@ -0,0 +1,23 @@
+#!/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
+
-- 
cgit v1.2.3