diff options
| author | David Aspinall | 2002-08-28 22:11:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 22:11:11 +0000 |
| commit | d471653f41b3dd6387c0625a24b45db4e3dffe17 (patch) | |
| tree | aa6c9adaa6613fb35d78f19c906704092e3d42e6 /generic/proof-shell.el | |
| parent | e33ae5545267ab78c4d217b7ffdfb742d29c1811 (diff) | |
Compatibility fixes from Stefan Monnier.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions