jsoo-code-mirror#
Very, very incomplete
Some bindings using brr to code-mirror 6.
For self-hosted knots, clone URLs may differ based on your setup.
Download tar.gz
Add index.mld files for all packages that were missing them, which
caused odoc to generate default pages titled "<package> index". Also
fix leaf item indentation by always adding a spacer span regardless
of the node kind.
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Very, very incomplete
Some bindings using brr to code-mirror 6.