Skip to content

Latest commit

 

History

History
17 lines (9 loc) · 252 Bytes

features.md

File metadata and controls

17 lines (9 loc) · 252 Bytes

CoqNext

(shift + cmd/ctrl + n)

next

CoqPrev

(shift + cmd/ctrl + u)

prev

CoqToCursor

(shift + cmd/ctrl + enter)

tocursor