I have just installed Why3 on a Mac, and when I try to execute why3 ide ... I get the error:
'ide' is not a Why3 command. Available commands: config doc execute extract prove realize replay session shell wc webserver Any ideas of what the problem might be? Regards, Graeme _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club