Change Branch/Tag structure for different coq versions
I want to have multiple branches, for example one for coq-version 8.16.1
, one for 8.18.1
and one for the latest
version.
At each branch, there should be tags related to CoMoProj-Versions, for example comoproj-v2.0.0-coqc-v8.18.1
.
Edited by Max Ole Elliger