Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | 2015-06-20 | 3 | -3/+14 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 4 | -0/+109 |
![]() |
index : user/dawan.git | |
OCaml and proof-search related ebuilds | Quentin Heath <dawan@melix.net> |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | 2015-06-20 | 3 | -3/+14 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 4 | -0/+109 |