diff options
| author | David Aspinall | 2003-02-05 22:43:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-05 22:43:18 +0000 |
| commit | 24b42472c17dc146dcd370310bf210d7bacd79e0 (patch) | |
| tree | 1c0b69ece610e18af5afba8a7f71f37a416e0498 /html | |
| parent | c5dc71bcd0d2a493fac920f521415190df91b0e5 (diff) | |
Doc generalisation of proof-script-command-end-regexp.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions