Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-10-05 | treewide: use ocaml.version (#19192) | Kirill Boltaev | 1 | -5/+3 |
2015-04-30 | meta.description fixups | Joachim Fasting | 1 | -1/+1 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
2010-12-31 | Matita and its dependencies. | Russell O'Connor | 2 | -0/+54 |