Le 25/03/2020 à 10:07, Julia Lawall a écrit :
> It's not clear to me how why3 session update works. I have a file called
> system.mlw, and thus a session directory called system. I tried why3
> session update -rename-file system xxx and I obtain no file containing xxx
> in its name and grep -r
It's not clear to me how why3 session update works. I have a file called
system.mlw, and thus a session directory called system. I tried why3
session update -rename-file system xxx and I obtain no file containing xxx
in its name and grep -r xxx turns up nothing. I did why3 session update