CHANGES · d781a155341f206d4f633a201812ec95944488b6 · Why3 / why3 · GitLab

Find file Blame History Permalink

IDE: removed detection of provers · d781a155
MARCHE Claude authored Jul 03, 2011
```
because it is incompatible with the session system
```
d781a155

To find the state of this project's repository at the time of any of these versions, check out the tags.

CHANGES 3.23 KB