Mentions légales du service

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Tags

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

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

Prev
1
2
Next