Tags

merged comoproj-v2.3.1

some fixes due to problems with coqc-8.16.1

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

sorted html output

enabled sorting in html-output

GitLab-CI only works on latest Coq-Version

included comoproj-v2.0.0

new structure for more folders in projects

included comoproj-v1.2.0

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

added some more examples to SomeExamples and Forall