diff options
| author | David Aspinall | 1999-11-24 16:00:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-24 16:00:53 +0000 |
| commit | 73740fa2bb2eaf4ac2e14b1a432c256c00198c12 (patch) | |
| tree | 3774779993f3face32f22b84ad17fdd4d9395427 /generic/proof-script.el | |
| parent | 39b706c1773fcc419004c5ec23cbf18050288174 (diff) | |
Many fixes to docstrings and comments. Added proof-analyse-using-stack here.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions