| commit | 6e52fc95c9456ee40b4859c85bcb16d57b6c3a21 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 17 Jan 2025 13:31:49 +0000 (17 14:31 +0100) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 17 Jan 2025 13:31:49 +0000 (17 14:31 +0100) | ||
| tree | 34c0ff6c6a921384acabb7144bc025150d5e2b1b | treesnapshot (tar.gz zip) |
| parent | df1fd4541ef4a7cb4c045fbcf09a1dee3a1261bc | commitdiff |
| parent | 6bbb0a06efb855df9c83d0a49734c95b84f7b1d8 | commitdiff |
Merge branch 'upgrade-altergo-2.6.0' into 'master'
Upgrade sessions to Alt-Ergo 2.6.0
See merge request why3/why3!1187
Upgrade sessions to Alt-Ergo 2.6.0
See merge request why3/why3!1187