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.

Added licensing-information in every file

See merge request template-coq!14

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.

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

We inject a custom order of VFILES (vernacular files) when deferring
the invocation the "html" PHONY-target in the generated Coq Makefile,
that is ordered using the output of the "coqdep" utility.  This
ensures that the partial order induced by Require is respected in the
output of "toc.html", up to topological sorting.

After simplifiying the _CoqProject-generation, the files are correctly
sorted.

Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>

Now there can be more than one folder, mapped to a Libname.

Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>

Max Ole Elliger authored 1 year ago and Max Ole Elliger committed 1 year ago

This reverts commit 9b2fa95a.

Set 8.16.1 as coq-version