diff options
| author | David Aspinall | 2000-06-05 13:47:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:47:41 +0000 |
| commit | 1c967ab75b67f75a5993926117b6ee29a715f627 (patch) | |
| tree | fba9344aa30b44a0763dea9882f3dc90eca9450b /html/functions.php3 | |
| parent | cffdbc6c0558524eb18643e8498897c7926ff6a7 (diff) | |
Tweaked some docstrings.
Added proof-shell-next-error-regexp and friends.
Bind proof-shell-next-error in proof-universal-keys.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions