priorityManager.ml
vscoq-language-server.dm
vscoq-language-server.language
vscoq-language-server.lsp
1 2 3 4 5 6 (* This filecontains the global views of priorities *) let lsp_message = -3 let feedback = -4 let execution = -3 let proof_view = -2 let move_cursor = -5
1 2 3 4 5 6
(* This filecontains the global views of priorities *) let lsp_message = -3 let feedback = -4 let execution = -3 let proof_view = -2 let move_cursor = -5