Tags

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

the usual

comoproj-v2.7.0

Included coqdocjs

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.

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

comoproj-v2.3.1-coqc-v8.16.1

comoproj-v2.3.1-coqc-v8.18.0

comoproj-v2.3.1

some fixes due to problems with coqc-8.16.1

comoproj-v2.3.0

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

comoproj-v2.2.0

enabled sorting in html-output

comoproj-v2.1.0-coqc-v8.18.0

comoproj-v2.1.0