You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[fleche] Reject opening multiple Coq documents for buggy Coq versions.#287
Merged
ejgallego merged 1 commit intomainejgallego/coq-lsp:mainfrom fail_hard_on_some_docsejgallego/coq-lsp:fail_hard_on_some_docsCopy head branch name to clipboardFeb 7, 2023
