diff options
| author | David Aspinall | 1999-10-06 11:17:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 11:17:12 +0000 |
| commit | 79fb8044091f89150e2f468f19e385aab38f0010 (patch) | |
| tree | 075147dfc0c869c03458f51ffccc86a97369c1b0 /generic/proof-script.el | |
| parent | 1749ca3174b0acf33183b80f711c619344db2b4c (diff) | |
docstring improvements
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions