let language_of_name = function | "" | "none" -> None | "alt-ergo" -> Some L_altergo | "coq" | "coqide"-> Some L_coq | "why" -> Some L_why | s -> Wp_parameters.abort "Language '%s' unknown" s