Re: [Why3-club] reloading proofs

Hello, If you're using Why3's development version, there was a bug in session reloading in Why3's master branch for a few weeks that had the effects you mention. It was fixed a few days ago by commit 9f03b008

[Why3-club] reloading proofs

Hello, I wonder if there is some easy room for improvement in the process of reloading a session when things have changed. For example, I have at least the illusion that when I remove a lemma at the end of a large module and then reload it, the proofs don't all end up in the right places. For ex