diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:03:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:03:15 +0000 |
| commit | 170e4842b1f8d9975588162a7e63985d53921022 (patch) | |
| tree | 5b749f7e97e57a428d723d8b198638e1ac0c01ba /lego | |
| parent | 8e2ac5e8a86a333289c4878c791a97d93337e84b (diff) | |
docstring improvements for proof-guess-command-name
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions