Tags

the usual

Included coqdocjs

see comoproj-v2.6.2

Added explicit licensing to every file

The Makefile is now explicit licensed under GNU GPLv3 with copyrights to
Max Ole Elliger and Philip Kaludercic.

The .gitlab-ci.yml is now explicit licensed under GNU GPLv3 with
copyrights to Max Ole Elliger.

comoproj-v2.6.1 for coq-version 8.16.1

new tag name

new tag name

added explicit latest tag to docker image

updated LICENSE

support for coq-equations

By using the new docker image motrellin/docker-coq-equations, one can
now use this template to check coq code using the extension
coq-extensions.

html-folder for artifacts

added README based on readmo-v1.0.0

first version

some fixes due to problems with coqc-8.16.1

topological sorted toc.html based on Coq-Command 'Require'

enabled sorting in html-output