diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-29 00:19:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-29 00:19:05 +0000 |
| commit | 2533cdbda7783634c1b0b2f846a8305adca3e987 (patch) | |
| tree | 871ba832aaf7bab34fd01c76ec98173ecc79d24f | |
| parent | 4ea17066d3fc14dfaedaa9e4b4966cfb5ce83993 (diff) | |
Add --emacs options
| -rw-r--r-- | bin/proofgeneral | 14 |
1 files 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;; |