Dear Graeme,
Have you installed Why3 via opam? If that is the case, you should run
`opam install why3-ide`.
Hope this helps.
Best regards
--
Mário
Le 22/09/19 à 00:01, Graeme Smith a écrit :
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
[email protected]
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
_______________________________________________
Why3-club mailing list
[email protected]
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
