| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | lablgtk: remove old patch | Austin Seipp | 2014-05-01 |
| * | upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1 | Christophe Raffalli | 2013-06-07 |
| * | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |