diff options
| author | David Aspinall | 1998-12-16 18:03:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 18:03:55 +0000 |
| commit | 65dbcc23512b2fca4de96975f20045ef45578287 (patch) | |
| tree | a8dabdf3ce1200f6a1a3a8f24f0b9ced6257c8be /generic/proof-script.el | |
| parent | 7c54027de2ee44a45397606abb44ffa02ee27fae (diff) | |
Todo for putting Info somewhere good in the dir.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions