Tags · Benedikt Becker / why3 · GitLab

Mentions légales du service

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

0.72

b0ea528a · on the road to release 0.72 · May 11, 2012
```
0.72 release
```
Download source code

zip tar.gz tar.bz2 tar
0.71

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

Download source code

zip tar.gz tar.bz2 tar
0.64

854a61f0 · updated documentation for 0.64 · Feb 17, 2011
```
Why3 0.64 release
```
Download source code

zip tar.gz tar.bz2 tar
0.70

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

zip tar.gz tar.bz2 tar
0.63

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

Download source code

zip tar.gz tar.bz2 tar