[Why3-club] IDE in 0.85

I installed from OPAM but where's the IDE? According to the 0.85 manual the following should have worked. why3 --version Why3 platform, version 0.85 (build date: Tue Feb 24 13:45:43 EST 2015) why3 ide 'ide' is not a Why3 command. ___ Why3-club

Re: [Why3-club] IDE in 0.85

Hello, 2015-02-25 16:37 GMT+01:00 David Naumann naum...@cs.stevens.edu: I installed from OPAM but where's the IDE? According to the 0.85 manual the following should have worked. why3 --version Why3 platform, version 0.85 (build date: Tue Feb 24 13:45:43 EST 2015) why3 ide 'ide' is not