igest..."
Today's Topics:
1. IDE why3 version 1.0.0 problem (Sara Houhou)
2. Re: IDE why3 version 1.0.0 problem (rieu)
--
Message: 1
Date: Sat, 30 Jun 2018 13:54:56 +0200
From: Sara Houhou
To: why3-club@lists.gforge.inria.
Hello;
I'm a new user of why3 prover; I want to try his installation but I
always have the 'ide' is not a Why3 command problem.
my configuration is as follows:
root@sara-HP-Pavilion-dv7-Notebook-PC:/home/sara# opam list
[WARNING] Running as root is not recommended
# Installed packages for