[coq] Changelog for (lang coq 0.8) seems to be missing
Open
Nobody has claimed this yet.
rocq
- Dominant language
- OCaml
- Stars
- 1.9k
- Forks
- 500
- Avg merge
- 15h 21m
- Merged PRs (30d)
- 277
Description
That seems like we forgot, or changes were maybe lost in a rebase, anyways it is important we fix this!
edit the changelog is there, just that the formatting makes it hard to read and both the users and I missed it!
I leave this issue open to tweak the current formatting, as of now: https://dune.readthedocs.io/en/stable/coq.html#coq-language-version
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the rendered changelog section at the linked Dune documentation page and trace it to the documentation source. Check how the Coq language version 0.8 changes are formatted, then make the section easier to read and verify the rendered page shows the changelog clearly.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100