It has been only (less than?) one day since the SPARK team tried to use Why3 master: perhaps there should be more thinking about the possible workarounds before trying to change anything in Why3.
I think everybody agrees with that, and no changes were asked. Thanks for clarifying though.
-- Claire _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
