diff options
| author | David Aspinall | 1999-10-01 10:22:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 10:22:56 +0000 |
| commit | 659646acf6c78bf1975cd1032b822d4a6179637e (patch) | |
| tree | ab51505cf4abd72de8034b9bee3796bebd175c7e /html | |
| parent | e913056f6cc7b0d0eb579ca5cd58647782cf6ab7 (diff) | |
Disable proof-help-string, was set to an invalid command.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions