diff options
| author | Pierre Courtieu | 2015-03-03 17:24:41 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2015-03-03 17:24:41 +0000 |
| commit | 3a11cf88c175ac38956f513c8fe465dc39bbc712 (patch) | |
| tree | 02b9175ae11c46b61a044db604ad369ac2beb0ec /CHANGES | |
| parent | 3c071eb4457c077286049f03d0bc8f025d497281 (diff) | |
Mouse queries.
If enabled, allows to send queries to coq with
(control/shift/control-shift) mouse-1.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions