diff options
| author | Thomas Kleymann | 1996-10-25 13:56:36 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-10-25 13:56:36 +0000 |
| commit | 2af828c290ce077229660e6fb2138dac6b7a3b23 (patch) | |
| tree | eed685b6e78ef01979c26e536f96103566df5502 /script-management.texinfo | |
| parent | d55828308020be67291ede58ef31bed8ce315799 (diff) | |
added proof-find-end-of-command
moved some bindings from lego-mode-map to proof-mode-map
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions