diff options
| author | David Aspinall | 2002-12-10 20:47:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-12-10 20:47:16 +0000 |
| commit | e45739c401f2dc82b554c376da3bcdabec4eccfe (patch) | |
| tree | e3c100523747ba97e4290337e1d69a102a97b23f /generic/proof-shell.el | |
| parent | 603213ea2913346cce9e27c20b32e0704d9ad49d (diff) | |
| parent | 569606f27f38a62686664b687880ee3ade5c0291 (diff) | |
This commit was generated by cvs2git to track changes on a CVS vendor
branch.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions