Tags

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

comoproj-v2.1.0

3a57bd79 · Merge branch 'more-use-of-generated-makefile' into 'main' · Nov 20, 2023
comoproj-v2.0.1-coqc-v8.18.0

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

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

d113f960 · Merge branch 'more_folder_extension' into 'main' · Nov 06, 2023
```
new structure for more folders in projects
```

comoproj-v1.2.0

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

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

comolang-v1.1.0-beta protected

f5f25222 · improved documentation in L_an by using [] · Jul 24, 2023
```
improved documentation by using square brackets
```
comolang-v1.1.0 protected

f5f25222 · improved documentation in L_an by using [] · Jul 24, 2023

Release: comolang-v1.1.0
latest protected

f5f25222 · improved documentation in L_an by using [] · Jul 24, 2023
square_brackets_in_docs

f5f25222 · improved documentation in L_an by using [] · Jul 24, 2023
comolang-v1.0.3 protected

f079561e · rm _CoqProject (why on earth was this still in the repo???) · Jul 24, 2023

Release: comolang-v1.0.3
comolang-v1.0.2 protected

fee88ed2 · Merge remote-tracking branch 'origin/main' · Jul 21, 2023

Release: comolang-v1.0.2
comoproj-v1.1.0

40fa2647 · added LICENSE · Jul 17, 2023
comoproj-v1.0.1

ca48cc45 · Revert "Update Makefile: CoMoProj -> CoMoTemplate" · Jul 13, 2023
comolang-v1.0.1 protected

d62e6533 · Update README.md · Jul 11, 2023
tnfn-done

aa3755c5 · solved #5 , #7 · Jun 05, 2023

Prev
1
2
Next