Tags

included comoproj-v2.7.0

the usual

Included coqdocjs

added licensing-information to every source file

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.

New Things:

- New structured chapter about induction.
- Improved documentation for the other chapters
- Removed Restart/Undo-warnings

included comoproj-v2.6.1 (LICENSE-Switch)

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

concrete version via .gitlab-cicd