diff options
| author | David Aspinall | 1998-11-03 16:31:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 16:31:09 +0000 |
| commit | 10f0a533df4bd24b0d594415c229adab6d332fe6 (patch) | |
| tree | 28e5e0b4a30d98e0986d156c0025f0bcd1ec630e /generic/proof-script.el | |
| parent | 40159558764e4688bfed29a9bac6fbbf657d5a61 (diff) | |
Added two new todos
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions