Request to add keystroke for Coq's "Print Assumptions" command

[proofgeneral]

Request to add keystroke for Coq's "Print Assumptions" command

[cpitclaudel]

Shouldn't we just add a small guide in the README on creating custom bindings? It's not obvious to me that this is a common need :/ PG makes it very easy to define them, so I'm not certain we need to reserve even more keys than we already do on every machine.

[Matafou]

I would agree with Clement.

What has been your answer to such request in the past David?

P.

2015-11-03 15:53 GMT+01:00 Clément Pit--Claudel [email protected]:

Shouldn't we just add a small guide in the README on creating custom
bindings? It's not obvious to me that this is a common need :/ PG makes it
very easy to define them, so I'm not certain we need to reserve even more
keys than we already do on every machine.

—
Reply to this email directly or view it on GitHub
#7 (comment).

[cpitclaudel]

I'm going to close this: it should be trivial for users to add such a binding manually.