diff options
| author | David Aspinall | 2002-08-28 22:46:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 22:46:52 +0000 |
| commit | 1cfaaa8c4e92ccc97234b44372eb3d8c365897fc (patch) | |
| tree | f7bd1c90c65363df99741d9215d46afcd7871a20 /generic/proof-shell.el | |
| parent | d471653f41b3dd6387c0625a24b45db4e3dffe17 (diff) | |
Borrowed as example
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions