Mentions légales du service

GitLab upgrade completed. Current version is 18.6.4
https://about.gitlab.com/releases/2025/11/20/gitlab-18-6-released/

Tags

Tags give the ability to mark specific points in history as being important

0.87.1

b1da8bf0 · Version 0.87.1 · May 27, 2016
0.87.0

f8f4c779 · Version 0.87.0 · Mar 15, 2016
0.86.3

656753ca · Version 0.86.3 · Feb 08, 2016
0.86.2

8f84e5d3 · Version 0.86.2 · Oct 13, 2015
0.86.1

10a5a494 · Version 0.86.1 · May 22, 2015
0.86

398f84d1 · Version 0.86 · May 11, 2015
0.85

88004948 · release 0.85 · Sep 17, 2014
0.84

d11d2b5c · release 0.84 · Sep 02, 2014
0.83

19b67a87 · why3doc: fixed filenames · Mar 14, 2014
0.82

ce76d88f · release 0.82 · Dec 12, 2013
0.81

15dcbf19 · make new tar for 0.81 · Mar 26, 2013
0.80

2c8012f0 · fix bnf in doc · Oct 31, 2012
0.73

2bd9354f · hopefully final commmit before release 0.73 · Jul 19, 2012
0.72

b0ea528a · on the road to release 0.72 · May 11, 2012
```
0.72 release
```
0.71

32c3adb3 · magic number set to 8 for release 0.71 · Oct 13, 2011
0.64

854a61f0 · updated documentation for 0.64 · Feb 17, 2011
```
Why3 0.64 release
```
0.70

05c8be9e · add examples/use_api.ml into the distribution · Jul 07, 2011
```
Why3 0.70 release
```
0.63

3a5a3c06 · mise au point distrib · Dec 21, 2010