diff options
| author | David Aspinall | 1998-11-25 12:41:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:41:33 +0000 |
| commit | 099a7a89fe6fb2d9e9de6a0b3c99bb582f2babde (patch) | |
| tree | debde816bab8f536687788c71c73f4cf6569d488 /generic/proof-script.el | |
| parent | 0d5c378a108d0b46182a0341cd251fefb2c46d3d (diff) | |
docstring fixes and alterations.
Directory variables are no longer user options.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions