comoproj-v2.7.0 protected

Max Ole Elliger

@oc59yqul

da69a0fc · Merge branch 'include-coqdocjs' into 'main' · Apr 11, 2024

Release: comoproj-v2.7.0

Included coqdocjs