On 26/10/2017 11:33, Stefan Berghofer wrote:
> Dear Why3-Club,
>
> while playing around with the latest repository version of Why3, I noticed
> that the left
> toolbar in Why3 IDE has suddenly disappeared. The toolbar used to contain
> buttons for calling
> provers, editing and replaying proofs,
Dear Why3-Club,
while playing around with the latest repository version of Why3, I noticed that
the left
toolbar in Why3 IDE has suddenly disappeared. The toolbar used to contain
buttons for calling
provers, editing and replaying proofs, as well as a box displaying the waiting,
scheduled and
ru
