Hello, I ran into the same issue as Graeme Smith in September.I installed both why3 and why3-ide from opam, and yet why3 says "'ide' is not a Why3 command". According to the mailing list archive, this problem was not resolved.
I am using Ubuntu 19.04 with Gnome 3.32.1. Here is the output of "opam list" with package description removed. alt-ergo 2.3.0 alt-ergo-lib 2.3.0 alt-ergo-parsers 2.3.0 base-bigarray base base-num base base-threads base base-unix base cairo2 0.6.1 camlzip 1.08 conf-autoconf 0.1 conf-cairo 1 conf-gmp 1 conf-gtk3 18 conf-gtksourceview 2 conf-gtksourceview3 0+1 conf-m4 1 conf-perl 1 conf-pkg-config 1.1 conf-which 1 conf-zlib 1 dune 1.11.4 dune-configurator 1.0.0 lablgtk 2.18.8 lablgtk3 3.0.beta6 lablgtk3-sourceview3 3.0.beta6 menhir 20190924 num 0 ocaml 4.05.0 ocaml-config 1 ocaml-system 4.05.0 ocamlbuild 0.14.0 ocamlfind 1.8.1 ocplib-simplex 0.4 psmt2-frontend 0.2 seq 0.2 why3 1.2.0 why3-ide 1.2.0 zarith 1.9.1 Evgeny Makarov _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
