diff options
| author | David Aspinall | 1999-11-15 18:43:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 18:43:12 +0000 |
| commit | e6f0aa50bbdfc8fea7e24d144de01450575c5055 (patch) | |
| tree | c7fa2bd33e622283d832b9ba9671d5a42fd7ed48 /html | |
| parent | 778a503ae2e7013cc405ee0a19f8613ddfe51646 (diff) | |
Moved proof-switch-to-buffer here from proof-script.el
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions