diff options
| author | Thomas Kleymann | 1996-11-13 14:57:54 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-11-13 14:57:54 +0000 |
| commit | 0d652f0ee9e925ac7fa3539cb4b18973a4ce04dd (patch) | |
| tree | fe70981bb2a38e6a7849e07e58db011cb95c38bf /script-management.texinfo | |
| parent | 41e0aab590ab1044f5ff8601873395f31a2fe249 (diff) | |
Yves Bertot:
If you click on an hypothesis name or a goal name, then Emacs generates
commands that are sent to lego but not stored in the script buffer.
The fix I have is to replace pbp-construct-command
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions