Include/comoproj v2.1.0

See merge request !35

More use of generated makefile

See merge request oc59yqul/template_coq!4

include/comoproj/v2.0.0

See merge request !34

new structure for more folders in projects

Improved Makefile structure

See merge request oc59yqul/template_coq!3

Merge branch 'more_folder_extension' of gitlab.cs.fau.de:oc59yqul/template_coq into more_folder_extension

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>

Include comoproj v1.2.0

See merge request !33

added description, how you can compile your project in multiple versions. added latest as additional default version

More examples

See merge request !32

Signed-off-by: Max Ole Elliger <ole.elliger@fau.de>

This reverts commit 9b2fa95a.

Set 8.16.1 as coq-version