Tags

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

comoex-v2.1.2
protected

c0bbe218 · Merge tag 'comoproj-v2.3.1' · Dec 22, 2023

Release: comoex-v2.1.2
```
merged comoproj-v2.3.1
```
comoproj-v2.3.1

b00108eb · Have _CoqProject depend on all directories in COMPONENTS · Dec 22, 2023
```
some fixes due to problems with coqc-8.16.1
```
comoproj-v2.3.0

202c24b0 · Sort entries in the TOC by dependencies · Dec 18, 2023
```
topological sorted toc.html based on Coq-Command 'Require'
```
comoex-v2.1.1
protected

364279b6 · Merge tag 'comoproj-v2.2.0' into include/comoproj-v2.2.0 · Nov 24, 2023

Release: comoex-v2.1.1
```
sorted html output
```
comoproj-v2.2.0

ad907b4a · Sorting in html-output enabled · Nov 24, 2023
```
enabled sorting in html-output
```
comoproj-v2.1.0-coqc-v8.18.0

f61fedf6 · Merge tag 'comoproj-v2.1.0' into pre-release/comoproj/coqc/v8.18.0 · Nov 21, 2023
comoex-v2.1.0
protected

087722f5 · Merge branch 'include/comoproj-v2.1.0' into 'main' · Nov 20, 2023

Release: comoex-v2.1.0
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
```
comoex-v2.0.0
protected

ace951a0 · Merge branch 'include/comoproj/v2.0.0' into 'main' · Nov 06, 2023

Release: comoex-v2.0.0
```
included comoproj-v2.0.0
```
latest
protected

ace951a0 · Merge branch 'include/comoproj/v2.0.0' into 'main' · Nov 06, 2023
comoproj-v2.0.0

d113f960 · Merge branch 'more_folder_extension' into 'main' · Nov 06, 2023
```
new structure for more folders in projects
```
comoex-v1.1.1
protected

52bf5663 · Merge branch 'include_comoproj-v1.2.0' into 'main' · Sep 20, 2023

Release: comoex-v1.1.1
```
included comoproj-v1.2.0
```

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

comoex-v1.1.0
protected

71ca25d6 · Merge branch 'more-examples' into 'main' · Aug 04, 2023

Release: comoex-v1.1.0
```
added some more examples to SomeExamples and Forall
```
comoex-v1.0.2
protected

3f5e008a · removed exists_comm_if and exists_comm_iff, because it's not provable · Jul 18, 2023

Release: comoex-v1.0.2
comoex-v1.0.1
protected

7814ba52 · Merge tag 'comoproj-v1.1.0' · Jul 17, 2023

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

40fa2647 · added LICENSE · Jul 17, 2023
comoex-v1.0.0
protected

9c1fe0bb · Merge tag 'comoproj-v1.0.1' · Jul 13, 2023

Release: comoex-v1.0.0