diff options
| author | Healfdene Goguen | 1998-05-12 14:53:14 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-12 14:53:14 +0000 |
| commit | aad4a48ea0de3de570cfd4af5905862afb090809 (patch) | |
| tree | 3621b78af4322bdd2fd7eee760024ecbdea54883 /script-management.texinfo | |
| parent | 0f21488f4bbd8b96182c90a165fd57dd97737ffc (diff) | |
Added hook `proof-shell-insert-hook', to replace `proof-shell-config'.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions