From 2533cdbda7783634c1b0b2f846a8305adca3e987 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Feb 2004 00:19:05 +0000
Subject: Add --emacs options

---
 bin/proofgeneral | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index ee1f80a6..0f900dc2 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -28,8 +28,11 @@ HELP="Usage: proofgeneral [OPTION] [FILE]...
   Launch Emacs Proof General editing the proof script FILE.
 
   Options:
-    -h, --help        show this help and exit
-    -v, --version     output version information and exit
+    --emacs	        startup Proof General with emacs (GNU Emacs)
+    --xemacs            startup Proof General with xemacs (XEmacs)
+    --emacsbin <EMACS>  startup Proof General with emacs binary <EMACS>
+    -h, --help          show this help and exit
+    -v, --version       output version information and exit
 
   Examples:
     $NAME Example.thy	Load Proof General editing Isar file Example.thy
@@ -62,6 +65,13 @@ while
 	echo "$NAME" "($VERSION)" >&2
 	echo "$VERSIONBLURB" >&2
 	exit 1;;
+    --emacs)
+	EMACS=`which emacs`;;
+    --xemacs)
+	EMACS=`which xemacs`;;
+    --emacsbin)
+	EMACS=$2
+	shift;;
     -*) 
 	echo "$NAME: option $1 not recognized. Use $NAME --help for help." 1>&2
 	exit 1;;
-- 
cgit v1.2.3