diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 15:42:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 15:42:09 +0000 |
| commit | 6e72e81ca667f7b6804fb7dee2eb934c63273063 (patch) | |
| tree | 9253463b3baea83c2774225faa79e0fa3c919fbf /pgshell | |
| parent | 64565ae1a03d6f8aa3380ca04d521532b7906715 (diff) | |
Comments.
Diffstat (limited to 'pgshell')
| -rw-r--r-- | pgshell/pgshell.el | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el index fe356432..60ef9e91 100644 --- a/pgshell/pgshell.el +++ b/pgshell/pgshell.el @@ -6,8 +6,8 @@ ;; cut-and-paste into a buffer running an ordinary shell of some kind. ;; ;; I'm providing this so that tool demonstrators may use it instead of -;; tediously doing cut-and-paste of commands from a file. Nothing -;; to do with theorem proving really! +;; tediously doing cut-and-paste of commands from a file. No history +;; management, and nothing to do with theorem proving really! ;; ;; To use this instance of PG, visit a file with the ".pgsh" extension. ;; @@ -18,11 +18,12 @@ (require 'proof-syntax) (proof-easy-config 'pgshell "PG-Shell" - proof-prog-name "/bin/sh" ;; or choose your shell - proof-terminal-char ?\; ;; better: parse the syntax + proof-prog-name "/bin/sh" ;; or choose your shell + proof-terminal-char ?\; ;; better: parse the syntax proof-script-comment-start "\#" proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches shell prompts - ;; next settings are just to prevent warnings + + ;; next setting is just to prevent warning proof-save-command-regexp proof-no-regexp ) |