On 07/23/2016 12:06 PM, Hal Kierstead wrote:
> How do I bind a key combination to insert additional theorem text? I am using 
> 2.2.0.

Does "Alt-A 1" work? This is the default here. Look under
"argument-insert" for the bindings.

Richard

Reply via email to