|
How to dismiss efficiently
|
|
1
|
309
|
June 10, 2022
|
|
Add `z3` as a allowable search term
|
|
6
|
435
|
September 30, 2021
|
|
Buggy ocaml logo in threads
|
|
4
|
833
|
May 19, 2021
|
|
Email subscription
|
|
20
|
1991
|
July 2, 2018
|
|
Mailing list mode has disappeared?
|
|
4
|
567
|
March 15, 2021
|
|
Bouncing emails?
|
|
2
|
362
|
December 27, 2020
|
|
Feedback on RWO dev site
|
|
2
|
589
|
November 24, 2020
|
|
Pin web discussion thread
|
|
0
|
338
|
November 4, 2020
|
|
Consider filling out the Category descriptions, add additional categories
|
|
0
|
307
|
October 23, 2020
|
|
Add monthly "ask anything" running discussion
|
|
3
|
509
|
October 23, 2020
|
|
Broken syntax highlighting on the pipeline operator
|
|
0
|
465
|
December 23, 2019
|
|
Unbinding ctrl-f as site-wide search
|
|
4
|
590
|
November 1, 2019
|
|
Create a Real World OCaml category
|
|
11
|
2353
|
March 2, 2018
|
|
Rearranging project categories into sub-categories
|
|
13
|
1795
|
January 8, 2018
|
|
(WIP) Frequently Asked Questions
|
|
11
|
2588
|
January 4, 2018
|
|
Discussion site status and timeline
|
|
40
|
3923
|
October 16, 2017
|
|
Interactive code snippets
|
|
2
|
774
|
October 6, 2017
|
|
OCaml.org broken SSL certificate?
|
|
0
|
691
|
August 18, 2017
|
|
New category idea: Proposals
|
|
14
|
1548
|
August 16, 2017
|
|
Which categories to create in the site
|
|
84
|
5517
|
August 9, 2017
|
|
New category ideas for this forum! (ReasonML and Announcements)
|
|
3
|
1195
|
July 11, 2017
|
|
Categories in languages other than English
|
|
0
|
685
|
June 30, 2017
|
|
Tag suggestions
|
|
7
|
884
|
May 19, 2017
|
|
Syntax highlighting?
|
|
7
|
1745
|
May 19, 2017
|
|
What about an Announcements category?
|
|
2
|
980
|
May 16, 2017
|
|
Embedding OCaml Discourse
|
|
2
|
960
|
May 15, 2017
|
|
UI problem: tags in dark theme are not legible
|
|
2
|
758
|
May 15, 2017
|
|
Login with GitHub is unclear (fix: use HTTPS)
|
|
7
|
1315
|
May 15, 2017
|
|
About the Site Feedback category
|
|
0
|
706
|
May 12, 2017
|
