Source file priorityManager.ml

1
2
3
4
5
6
7
8
(* This filecontains the global views of priorities *)

let lsp_message = -6
let feedback = -7
let launch_parsing = -5
let parsing = -4
let execution = -3
let proof_view = -2
let move_cursor = -8