-
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.0.1
GitLab-CI only works on latest Coq-Version
-
comoproj-v2.0.0
new structure for more folders in projects
-
comoproj-v1.2.0
added description, how you can compile your project in multiple versions. added latest as additional default version