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 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