diff options
| author | David Aspinall | 1998-10-28 18:12:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-28 18:12:46 +0000 |
| commit | 1138d66e7bce6b6b35e053a53dc645cc7ffc63a3 (patch) | |
| tree | 7417ad22c59ad4baadb2ff7eb7dcd78908a0c5d5 /doc | |
| parent | 1bb8be763ac9aebec505df833ecae0da870fddca (diff) | |
Added proof-toolbar-follow-mode user option and functions to support
it. Removed require on proof-shell from proof-toolbar.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions