Tags give the ability to mark specific points in history as being important
-
-
comoproj-v1.2.0
4fe47f9f · ·added description, how you can compile your project in multiple versions. added latest as additional default version
-
GitLab-CI only works on latest Coq-Version
new structure for more folders in projects
added description, how you can compile your project in multiple versions. added latest as additional default version