diff options
| author | David Aspinall | 2007-12-13 19:41:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 19:41:35 +0000 |
| commit | f9c462cb1331d4df669a425bc5baaddbbe7a5153 (patch) | |
| tree | 3eaaaf847f79c2927069446e477a619ee39ae52e /generic/proof-shell.el | |
| parent | 0e708337ee11ea05db2043a2d07c7dcf78dc25a5 (diff) | |
Cleanup. Add more insertion commands.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions