Tags

comoex-v3.1.2

included comoproj-v2.7.0

comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1

the usual

comoproj-v2.7.0

Included coqdocjs

comoex-v3.1.1

added licensing-information to every source file

comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1

see comoproj-v2.6.2

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.

comoex-v3.1.0

New Things:

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

comoex-v3.0.0

included comoproj-v2.6.1 (LICENSE-Switch)

comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1

comoproj-v2.6.1 for coq-version 8.16.1

comoproj-v2.3.1-coqc-8.16.1-ocaml-4.13.1

new tag name

comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1

new tag name

comoproj-v2.6.1

added explicit latest tag to docker image

comoproj-v2.6.0

updated LICENSE

comoproj-v2.5.0

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.

comoproj-v2.4.1

html-folder for artifacts

comoproj-v2.4.0

added README based on readmo-v1.0.0

readmo-v1.0.0

first version

comoex-v2.1.3

concrete version via .gitlab-cicd

comoproj-v2.3.1-coqc-v8.16.1

comoproj-v2.3.1-coqc-v8.18.0