pcf-v3.1.1 protected

Max Ole Elliger

@oc59yqul

b1c110fb · Merge branch 'docs/headlines' into 'main' · Sep 12, 2023

Release: pcf-v3.1.1

added headlines for coqdoc to structure toc.html a bit more