projects / packages / coq.git / history
| 2012-06-24 | Jan Rękorajski | - converted to UTF-8 | blob | commitdiff | raw |
| 2012-06-24 | Arkadiusz Miśkiewicz | - kill Icon: field (support for these is obsolete says... | blob | commitdiff | raw | diff to current |
| 2012-06-24 | Jan Rękorajski | - release 2 | blob | commitdiff | raw | diff to current |
| 2012-06-24 | aredridel | - finish update to 8.0pl2 | blob | commitdiff | raw | diff to current |
| 2012-06-24 | aredridel | - start up to 8.0pl2 | blob | commitdiff | raw | diff to current |
| 2012-06-24 | paladine | - cosmetics | blob | commitdiff | raw | diff to current |
| 2012-06-24 | Jakub Bogusz | - pl, missing dirs | blob | commitdiff | raw | diff to current |
| 2012-06-24 | Jan Rękorajski | - go ahead and edit it ;) | blob | commitdiff | raw | diff to current |
| 2012-06-24 | Jan Rękorajski | - add patch needed to build with ocaml 3.07 | blob | commitdiff | raw | diff to current |
| 2012-06-24 | Jan Rękorajski | - initial revision | blob | commitdiff | raw | diff to current |