diff options
Diffstat (limited to 'pgshell')
| -rw-r--r-- | pgshell/pgshell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el index bdf5c0e3..aa34e985 100644 --- a/pgshell/pgshell.el +++ b/pgshell/pgshell.el @@ -20,7 +20,7 @@ (proof-easy-config 'pgshell "PG-Shell" proof-prog-name "/bin/sh" ;; or your program - proof-terminal-char ?\; ;; end of commands + proof-terminal-string ";" ;; end of commands proof-script-comment-start "\#" ;; comments proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches prompts |