A new release of Why3, version 0.88.2, is available from the Web page http://why3.lri.fr/
Changes between 0.88.1 and 0.88.2 are as follows: Bug fixes * `why3 session html`: improved compliance of generated files * `why3 doc`: fixed missing anchors for operator definitions * improved build process when `coqtop.byte` is missing _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club