diff options
| author | Pierre Courtieu | 2015-03-26 18:11:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2015-03-26 18:11:31 +0000 |
| commit | 2630829033e822158b3c89dd9d5e4f48ba92a026 (patch) | |
| tree | d85d43d8247d7f320e71c0119468653ccfb69171 /pgshell | |
| parent | a8e3c5e6d52bbf52bee76dd1609b7fca9bd48f3e (diff) | |
A command to set coq printing width smartly.
Set the width to the current goals window.
Default binding: C-c C-a C-w.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions