diff options
| author | Pierre Courtieu | 2015-10-12 20:49:05 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-12 20:49:05 +0200 |
| commit | 14b8d0e24ef48032885018b4020969593477ee26 (patch) | |
| tree | 9e9b6d76aee7fc03659cf5149e8a5039129818bf /pgshell | |
| parent | 6effc3a06b96a791805d69c7dd82ef59349abf26 (diff) | |
proof-assert-command-hook added + Auto adjust width in coq mode.
This hook was missing, it allows to send complete commands before
the (set of) command(s) sent by the user. It shall be used when
proof-shell-insert-hook cannot be used (because of multiple prompts
appearing).
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions