[Why3-club] New release Why3 0.83

Jean-Jacques Levy jean-jacques.levy at inria.fr
Sat Mar 15 03:51:23 CET 2014


Dear Claude,

I have problem with 0.83 install:

> Ocamlopt src/ide/gmain.ml
> File "src/ide/gmain.ml", line 130, characters 4-40:
> Error: Unbound module GSourceView2
> make: *** [src/ide/gmain.cmx] Error 2

Pls help! Thanks.. -JJ-

Le 15 mars 2014 à 02:09, Claude Marche <Claude.Marche at inria.fr> a écrit :

> 
> A new release of Why3, version 0.83, is available from the Web page
> http://why3.lri.fr.
> 
> A detailed list of changes is given below.
> 
> - Claude, for the Why3 team
...


More information about the Why3-club mailing list