vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Missing Coq: commands in Command Palette

Open XFabian opened this issue 8 months ago • 0 comments

Hey there, In the legacy version of VSCoq, after pressing CTRL+SHIT+P in VsCode to open the Command Palette I could use the following commands: Coq: Display Coercions Coq: Display Notations Coq : Display Implicit Arguments

I can't find these options in VSCoq v2. Where can I find them? Or do I activate them in some other way?

XFabian avatar Jun 14 '24 08:06 XFabian