c57117faef
doc: fix typo ( #541799 )
2026-07-21 12:28:45 +00:00
1b950b50bd
rocqPackages.mkRocqDerivation: change prefix for rocq
...
Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.
This matches the opam convention and ensures that the default
`opam-name` will be correct.
2026-07-15 21:43:39 +02:00
60d60de3de
doc: fix typo
2026-07-14 15:35:36 +02:00
962d8fb3ed
mkRocqDerivation: document new parameters useCoq and useCoqifVersion
2026-07-10 17:56:59 +02:00
66241985dc
doc/treewide: replace "in order to" with "to"
...
Fixes a styleguide violation (doc/styleguide.md, "Filler Words and
Weak Phrases"). Release notes excluded.
2026-07-03 11:03:28 +02:00
923099da30
coq.withPackages: document use with language servers
...
Added guidance on installing Rocq language servers when using
`coq.withPackages`.
#484870
2026-02-01 21:55:27 +01:00
9ad70fb60d
Rocq: Update documentation
2026-01-26 13:17:25 +01:00
Théo Zimmermann