diff options
| author | Thomas Kleymann | 1996-11-22 16:46:14 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-11-22 16:46:14 +0000 |
| commit | 35002b005217a0ee817cb3012218e2c66d997916 (patch) | |
| tree | 2565d38ade2d9bd748e8a4b26766e1ed5f2f31e3 /ext.el | |
| parent | 0fa907fb7f26c2ad680e538b1d560a5038c6cfda (diff) | |
A generic package for proof-by-pointing
Diffstat (limited to 'ext.el')
0 files changed, 0 insertions, 0 deletions