diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-02-23 17:43:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-02-23 17:43:15 +0000 |
| commit | f91a93a8c2ba24dfa7d511af3fa8a42476f001ce (patch) | |
| tree | ed47a8018e5cd27d7b5bd4d3f36d661304d7c015 /generic/proof-shell.el | |
| parent | 08de918952e65a77fdba65409c85a97244bc4b3f (diff) | |
Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comment.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions