diff options
| author | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
| commit | 4c0d2a05d5cf3f717e13e39bb38294c271a883fc (patch) | |
| tree | 8b370d5eddf2ca4435162093d560461e8e445ccb /doc | |
| parent | 142978009a2585a1af82b3081720d680028c2108 (diff) | |
Revert "Removing unused generalization of pr_vernac over pr_constr and pr_lconstr."
This reverts commit ee882d4cf6e7d84dc4589535042bbefdec56a288.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions