Skip to content

Show Coq-Headlines in table of contents

In a .v-file, there can be some headlines (based on coqdoc-notation, e.g. (** * This is a headline *)). In comoproj-v1.1.0, it was possible to show them in the table of contents. This should be again possible.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information