[Why3-club] New release Why3 0.83

Jean-Jacques Levy jean-jacques.levy at inria.fr
Mon Mar 17 05:13:57 CET 2014


Dear Claude,

on my 2nd macbook, 0.83 install went smoothly. I have to get what is happening with the GSourceView2 module on my 1st macbook…

Pls forget my previous message + sorry for that spam.

-JJ-




More information about the Why3-club mailing list