projects / packages / why3.git / shortlog
| 2014-11-16 | Jan Rękorajski | - rebuild with ocaml 4.02 auto/th/why3-0.83-3 | commit | commitdiff | tree | snapshot |
| 2014-05-06 | Jan Rękorajski | - fixed scripts permissions auto/th/why3-0.83-2 | commit | commitdiff | tree | snapshot |
| 2014-04-30 | Jan Rękorajski | - updated to 0.83 auto/th/why3-0.83-1 | commit | commitdiff | tree | snapshot |
| 2013-05-16 | Jan Rękorajski | - package examples auto/th/why3-0.73-2 | commit | commitdiff | tree | snapshot |
| 2013-05-14 | Jan Rękorajski | - drop (x)emacs BRs auto/th/why3-0.73-1 | commit | commitdiff | tree | snapshot |
| 2013-05-14 | Jan Rękorajski | - updated BRs | commit | commitdiff | tree | snapshot |
| 2013-05-14 | Jan Rękorajski | - new | commit | commitdiff | tree | snapshot |