projects / packages / why3.git / search
| 2021-03-29 | Jan Rękorajski | - up to 1.4.0 |
commit | commitdiff | tree |
| 2017-06-06 | Jan Rękorajski | - updated files |
commit | commitdiff | tree |
| 2017-06-06 | Jan Rękorajski | - up to 0.87.3 |
commit | commitdiff | tree |
| 2017-06-05 | Jan Rękorajski | - rebuild with ocaml 4.04.1 |
commit | commitdiff | tree |
| 2016-03-21 | Jan Rękorajski | - release 5 (by relup.sh) |
commit | commitdiff | tree |
| 2015-07-26 | Jan Rękorajski | - release 4 (by relup.sh) |
commit | commitdiff | tree |
| 2014-11-16 | Jan Rękorajski | - rebuild with ocaml 4.02 |
commit | commitdiff | tree |
| 2014-05-06 | Jan Rękorajski | - fixed scripts permissions |
commit | commitdiff | tree |
| 2014-04-30 | Jan Rękorajski | - updated to 0.83 |
commit | commitdiff | tree |
| 2013-05-16 | Jan Rękorajski | - package examples |
commit | commitdiff | tree |
| 2013-05-14 | Jan Rękorajski | - drop (x)emacs BRs |
commit | commitdiff | tree |
| 2013-05-14 | Jan Rękorajski | - updated BRs |
commit | commitdiff | tree |
| 2013-05-14 | Jan Rękorajski | - new |
commit | commitdiff | tree |