diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:46:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:46:38 +0000 |
commit | 805a7968982aa0fb2bcf35045bcdb9e78cfd7af0 (patch) | |
tree | 03d0ee33105f1c3b70b88a9115f91ee718ab69eb /doc/ProofGeneral.texi | |
parent | 9c77766565cc9c29289ecf1c7d6c964d6af388ce (diff) |
Typo; update magic
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 5d536aee..6e6498e6 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1405,7 +1405,7 @@ key-bindings and functions. @c TEXI DOCSTRING MAGIC: proof-display-some-buffers @deffn Command proof-display-some-buffers -Display the reponse, goals, trace, or shell buffer, rotating.@* +Display the reponse, trace, goals, or shell buffer, rotating.@* A fixed number of repetitions of this command switches back to the same buffer. Also move point to the end of the response buffer if it's selected. @@ -4020,7 +4020,7 @@ This appendix has been removed. Please consult the file @uref{http://www.proofgeneral.org/ProofGeneral/BUGS,@file{BUGS}} in the -distribution for an up-to-date description bugs and other issues. +distribution for an up-to-date description of bugs and other issues. If you discover a problem which isn't mentioned in @file{BUGS}, please let us know by sending a note to @code{support@@proofgeneral.org}. |