aboutsummaryrefslogtreecommitdiff
path: root/Bedrock
Commit message (Expand)AuthorAge
* Silence a deprecation warningGravatar Jason Gross2016-07-20
* parenthesize Ltac [constr:] argumentsGravatar Andres Erbsen2016-06-20
* Set Asymmetric PatternsGravatar Jason Gross2016-06-10
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10