Here is a message that should have been sent to Why3-Club - Claude
Le 18/06/2014 23:25, Fabio Bucciarelli a écrit : > Dear Mr. Marché, I would like to try to utilize Why3, I have installed a > virtual machine with Ubuntu at 32 bits, I've followed the guidelines in > this page <https://www.lri.fr/~marche/MPRI-2-36-1/install.html> to > install why3 but when I try to run it, Linux says why3ide cannot be > found. I was wondering if you could help me solving this problem. I > thank you in advance.Best regards, Fabio Bucciarelli -- Claude Marché | tel: +33 1 72 92 59 69 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 http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club