# Feedback wanted for the rendering of alternatives in the reference manual

**URL:** <https://discourse.rocq-prover.org/t/feedback-wanted-for-the-rendering-of-alternatives-in-the-reference-manual/287>\
**Category:** Developing the Rocq Prover\
**Created:** [May 13, 2019, 4:49pm UTC](https://discourse.rocq-prover.org/t/feedback-wanted-for-the-rendering-of-alternatives-in-the-reference-manual/287 "2019-05-13T16:49:22Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [May 13, 2019, 4:49pm UTC](https://discourse.rocq-prover.org/t/feedback-wanted-for-the-rendering-of-alternatives-in-the-reference-manual/287/1 "2019-05-13T16:49:22Z")

</div>

> <https://github.com/coq/coq/pull/10143#issuecomment-491890811>

I’m taking the liberty of advertising this PR where feedback is needed to take a decision.

Feel free to comment here or on the PR thread.