diff options
| author | David Aspinall | 1999-01-15 15:08:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 15:08:11 +0000 |
| commit | 2fde13fa5dae15af652d1f1cb5579ea31514d8b9 (patch) | |
| tree | dc4639013c82415b804c12a6dd70c46f3eb03ae4 /generic/proof-script.el | |
| parent | 15b0d1eee2925387c75cd2da80b3e9f4d921c4bb (diff) | |
Added todo for licence clarification after query from a user.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions