diff options
| author | David Aspinall | 2009-09-04 15:21:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 15:21:14 +0000 |
| commit | 0c855d12fe8d21f0ab1dbe3288c6d47fac9c66f4 (patch) | |
| tree | ad3e77a57a7017705092e13612ea25654a41a615 /generic/proof-shell.el | |
| parent | 06aaa6ab6ac0dc980176695a47a405e4fed86ba4 (diff) | |
proof-file-to-buffer -> find-buffer-visiting
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions