diff options
| author | David Aspinall | 2002-08-08 07:56:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 07:56:16 +0000 |
| commit | 961e17a86bb640be40915daa17059c4aa4ddf454 (patch) | |
| tree | 979fd59ac3123934a807ebd1acc12c1887666698 /doc | |
| parent | 934d8d4188240b92a40f1606970c824608a5c348 (diff) | |
Use glyph for hidden proofs; add open isearch props; tweak element handling fns.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions