diff options
| author | David Aspinall | 1999-11-15 18:39:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 18:39:53 +0000 |
| commit | 67d134c05703c92b975e0b8d7815bb807c798496 (patch) | |
| tree | 4ccfa69f8efc3e429808b5c20e551c9c5bee5e23 /generic/proof-script.el | |
| parent | 7a23041ef6e3bf6b6fa4f5b276487d77817b04f4 (diff) | |
Name changes: proof-toolbar-follow-mode -> proof-follow-mode, proof-execute-minibuffer-cmd -> proof-minibuffer-cmd
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions