Re: [Why3-club] Why3-club Digest, Vol 91, Issue 1

2018-09-17 Thread Claude Marché
Problem with remaining data from older version of Why3 mv ~/.why3.conf ~/.why3.conf.saved why3 config --detect Hope this helps, - Claude Le 17/09/2018 à 13:00, Sara Houhou a écrit : Hello, Thanks a lot, but I am always blocked by this message when I want to test the first example: why3

Re: [Why3-club] Why3-club Digest, Vol 91, Issue 1

2018-09-17 Thread Sara Houhou
Le 01.07.2018 12:00, why3-club-requ...@lists.gforge.inria.fr a écrit : Send Why3-club mailing list submissions to why3-club@lists.gforge.inria.fr To subscribe or unsubscribe via the World Wide Web, visit https://lists.gforge.inria.fr/mailman/listinfo/why3-club or, via email,