vscoq
vscoq copied to clipboard
don't load if doc is viewed in diff-mode
when a coq script is shown in diff view
- do not apply highlights
- do not load proof-view
blocked on Microsoft/vscode#15513