aboutsummaryrefslogtreecommitdiff
path: root/Bedrock/Word.v
Commit message (Expand)AuthorAge
* Significantly faster wordToN, I hopeGravatar Jason Gross2016-10-31
* Silence a deprecation warningGravatar Jason Gross2016-07-20
* parenthesize Ltac [constr:] argumentsGravatar Andres Erbsen2016-06-20
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10