Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | 2015-06-20 | 14 | -72/+213 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 13 | -0/+371 |
![]() |
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 | 14 | -72/+213 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 13 | -0/+371 |