diff options
| author | David Aspinall | 1998-10-02 13:38:35 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-02 13:38:35 +0000 |
| commit | 527599b14b8900f4d32aedd9a6b5d3ec7caa0b8f (patch) | |
| tree | f2a23bcebd51138416fc62c1428e0e1db6d6be1d /html | |
| parent | 00b7706d4bb5f285e0efbca031e27b4bcf36aa50 (diff) | |
Added todo for proof-goal-command, proof-save-command
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions