# Should other languages than English be allowed on the Discourse forum?

**URL:** <https://discourse.rocq-prover.org/t/should-other-languages-than-english-be-allowed-on-the-discourse-forum/23>\
**Category:** Miscellaneous\
**Created:** [February 11, 2019, 6:22pm UTC](https://discourse.rocq-prover.org/t/should-other-languages-than-english-be-allowed-on-the-discourse-forum/23 "2019-02-11T18:22:34Z")\
**Posts on this page:** 1\
**Showing post:** 43

<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:** [March 4, 2019, 8:57am UTC](https://discourse.rocq-prover.org/t/should-other-languages-than-english-be-allowed-on-the-discourse-forum/23/43 "2019-03-04T08:57:31Z")

</div>

@yforster Don’t forget to update the text and title of [About the Ankündigungen category](https://discourse.rocq-prover.org/t/about-the-ankundigungen-category/160)

@anton-trunov Don’t forget to update the text and title of [About the Coq на русском category](https://discourse.rocq-prover.org/t/about-the-coq-category/161) (in particular, the first paragraph will become the description of the category on the main page) and [About the Объявления category](https://discourse.rocq-prover.org/t/about-the-category/165/2).

If no one is against the idea, I’ll add the two-letter language codes to the titles of the categories, as suggested by @RalfJ (i.e. [zh] / [es] / [fr] / [de] / [ru]).

---

_[View the full topic](https://discourse.rocq-prover.org/t/should-other-languages-than-english-be-allowed-on-the-discourse-forum/23)._