aboutsummaryrefslogtreecommitdiff
path: root/Bedrock
Commit message (Expand)AuthorAge
* Revert "Fix a missing qualification"Gravatar Jason Gross2017-01-21
* Move weqb_hetero to Bedrock.WordGravatar Jason Gross2017-01-21
* Revert "Add Bedrock.Word.{wordToZ,ZToWord}"Gravatar Jason Gross2017-01-03
* Add Bedrock.Word.{wordToZ,ZToWord}Gravatar Jason Gross2017-01-03
* 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
* Set Asymmetric PatternsGravatar Jason Gross2016-06-10
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10