summaryrefslogtreecommitdiff
path: root/rc/filetype/coq.kak
AgeCommit message (Expand)Author
2022-07-05Make `x` just select the full linesMaxime Coste
2022-05-29rc filetype: add trim-indent hooks to all languages that have indent hooksJohannes Altmanninger
2022-05-29rc coq: remove unconventional indentationJohannes Altmanninger
2020-05-03fix indent behavior for lines without indentGuest0x0
2020-04-23basic syntax highlighting & indentation for the Coq languageGuest0x0