Le 19/02/2018 à 14:20, Julia Lawall a écrit : > It does not appear. It does work when I move from one clone of the git > repository to another on the same machine. I'll see later what happens > when I move to a different machine. I think that the versions of Coq are > the same (have the same number). But they are not compiled with the same > version of OCaml.
Strange. I don't think the version of OCaml is a problem. You should look at the terminal to see of error messages appear there. - Claude -- Claude Marché | tel: +33 1 69 15 66 08 INRIA Saclay - Île-de-France | Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex | _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
