-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
comoproj-v1.2.04fe47f9f · ·
added description, how you can compile your project in multiple versions. added latest as additional default version
-
-
-
-
-
some fixes due to problems with coqc-8.16.1
topological sorted toc.html based on Coq-Command 'Require'
sorted 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