diff options
| author | David Aspinall | 2000-12-20 18:21:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-20 18:21:04 +0000 |
| commit | 2776214118a16239e3eb82453aa226e75496d77f (patch) | |
| tree | 3e36c81e91b75b3e799ddf6e8e773c707ce09342 | |
| parent | de84f1ae7ab37463f4166afa534302c33760f557 (diff) | |
Fix comment to not break texi magic
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 20a35f53..73950cc2 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -583,8 +583,8 @@ Specifically: 'loopback A command sent from the PA to be inserted into the script 'response A response message 'goals A goals (proof state) display - 'systemspecific } Something specific to a particular system, - } see `proof-shell-process-output-system-specific' + 'systemspecific Something specific to a particular system, + -- see `proof-shell-process-output-system-specific' The output corresponding to this will be in proof-shell-last-output. |