diff options
| author | David Aspinall | 1998-12-15 16:15:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 16:15:11 +0000 |
| commit | f42e682a23e87a8b0a0f448093a857a04b7313ca (patch) | |
| tree | f3ff61217be42cdc74f0c8dc195cb7f0a0f7f1ea /generic/proof-script.el | |
| parent | d64ce7ea66e827a07cecbd5ff2dd9c323e7ba2a7 (diff) | |
Another todo idea added. This version sent to Emacs news groups.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions