coqdocjs

coqdocjs copied to clipboard

I currently use the `coqdoc`-option `--lib-name ` to combine several packages in one project under one name. For example, this can be seen [here](https://gitlab.cs.fau.de/oc59yqul/template-coq/-/blob/comoproj-v2.6.2/Makefile?ref_type=tags#L49). After trying around a bit with...

motrellin

Missing blank lines with folded proofs

12

Now that #4 has been merged, the behaviour of the proof folding to "swallow" the (usually) blank line after the "Qed." (which was fine with the old invisible "Proof.") becomes...

chdoc

Thanks for this nice addition which renders some very nice documentation. I've been trying to use it with the dune build system since its gradually becoming more popular among the...

dlesbre

Preprocessing DOM when running make

6

Note that this pull request is not in an ideal shape to be merged just yet as it requires a `node.js` installation. ## The problem that the PR addresses [coqdocjs.js](https://github.com/rocq-community/coqdocjs/blob/d000c33bf04e89b6d296cd7afc6d782395d68777/extra/resources/coqdocjs.js)...

yiyunliu

Hi all, we recently added a few improvements to the vendored version of CoqdocJS included in PROSA. 1. Updates to the style sheet, in particular to use Inconsolata as the...

brandenburg