]>
2012-06-24 | Jan Rękorajski | outdated | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - release 2 | commit | commitdiff | tree | snapshot |
2012-06-24 | aredridel | - finish update to 8.0pl2 | commit | commitdiff | tree | snapshot |
2012-06-24 | aredridel | - start up to 8.0pl2 | commit | commitdiff | tree | snapshot |
2012-06-24 | paladine | - cosmetics | commit | commitdiff | tree | snapshot |
2012-06-24 | Jakub Bogusz | - pl, missing dirs | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - go ahead and edit it ;) | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - needed to build coq with ocaml 3.07 | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - add patch needed to build with ocaml 3.07 | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - initial revision | commit | commitdiff | tree | snapshot |