diff options
| author | Healfdene Goguen | 1998-05-12 14:52:50 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-12 14:52:50 +0000 |
| commit | 0f21488f4bbd8b96182c90a165fd57dd97737ffc (patch) | |
| tree | f0845c87038cd2faf21a0faffa13499c4ccc5986 /script-management.texinfo | |
| parent | 59a36f4cbaa07ca3f037c813ecbf8c0240706359 (diff) | |
Added hook `proof-shell-insert-hook', which is initalized to
lego-shell-adjust-line-width.
This replaces `lego-shell-config'.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions