the usual

Included coqdocjs

Included coqdocjs

See merge request !15

This commit includes coqdocjs to our template. By this update, the
libname is not longer included to the html-output, so it got removed
from the Makefile.

Include/comoproj v2.6.2

Closes #25

See merge request !40

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.

Added licensing-information in every file

See merge request template-coq!14

Docs/headlines

See merge request !36

Resolve "Remove "Restart"/"Undo"-Warnings"

Closes #45

See merge request !37

New Chapter about Induction

See merge request !39

Update .gitlab-ci.yml file

See merge request !38

updated docker image tag

Update LICENSE

See merge request template-coq!13

added coq-equations to gitlab-ci

See merge request template-coq!11

using docker image motrellin/docker-coq-equations

.gitlab-ci.yml: artifacts-path is now html/*

See merge request template-coq!12

By earlier changes, the html-output was redirected to the html-Folder.
This is now also updated in the .gitlab-ci.yml-File.

Include readmo-v1.0.0

See merge request template-coq!10

Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago

This is necessary, since the _CoqProject now contains a list of all
files in _CoqProject, and any changes in those directories should be
propagated to the _CoqProject as well.

Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago

This is necessary to resolve error messages of the form

  Unknown option prop

which appear to have confused "coqc", since it refuses the handle a
directory implicitly.