projects / packages / coq.git / search
| 2012-06-24 | Jan Rękorajski | - added TODO |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - 8.1pl4 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - work around stupid detection of lablgtk2 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | outdated |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - converted to UTF-8 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - fix building with lablgtk2 2.6 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - official build fix for ocaml 3.09 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | outdated |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - release 2 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - go ahead and edit it ;) |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - needed to build coq with ocaml 3.07 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - add patch needed to build with ocaml 3.07 |
commit | commitdiff | tree |
| 2012-06-24 | Jan Rękorajski | - initial revision |
commit | commitdiff | tree |