Tags

Tags give the ability to mark specific points in history as being important

comoproj-v2.0.1-coqc-v8.18.0
protected

bea89ced · Merge branch 'pre-release/comoproj/coqc/v8.18.0' into 'release/comoproj/coqc/v8.18.0' · Nov 13, 2023
comoproj-v2.0.1
protected

d493025d · only latest coq version on main · Nov 13, 2023
```
GitLab-CI only works on latest Coq-Version
```
comoproj-v2.0.0
protected

d113f960 · Merge branch 'more_folder_extension' into 'main' · Nov 06, 2023

Release: comoproj-v2.0.0
```
new structure for more folders in projects
```

comoproj-v1.2.0

protected

4fe47f9f · updated .gitlab-ci.yml · Sep 13, 2023

Release: comoproj-v1.2.0

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

comoproj-v1.1.0
protected

40fa2647 · added LICENSE · Jul 17, 2023

Release: comoproj-v1.1.0
comoproj-v1.0.1
protected

ca48cc45 · Revert "Update Makefile: CoMoProj -> CoMoTemplate" · Jul 13, 2023

Release: comoproj-v1.0.1

Prev
1
2
Next