coqide-config.md

coqide-config

• Coq Integrated Development Environment

flint.cs.yale.edu/cs428/coq/doc/

Fonts

• Use Lucida Sans Unicode font

Note: Not Found

In the Font tab of the Preferences, I suggest you use Lucida Sans Unicode. Some Coq scripts (though probably not the ones for this course) use Unicode characters for mathematical symbols.

Shortcuts

Navigation

• Ctrl + Downarrow: Forward one command
• Ctrl + Uparrow: Backward one command
• Ctrl + Home: Backward to the first command (Restart Coq)
• Ctrl + End: Forward to the end command (Go to end)
• Ctrl + Right: Go to the cursor

Queries

• Ctrl + Shift + K: Search
• Ctrl + Shift + C: Check
• Ctrl + Shift + P: Print