Select Git revision
- Branches 7
- pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 protected
- release/comoproj/coqc-8.16.1-ocaml-4.13.1 protected
- main default protected
- testing-github-actions
- pre-release/comoproj/coqc-8.18.0-ocaml-4.13.1 protected
- release/comoproj/coqc-8.18.0-ocaml-4.13.1 protected
- release/comoproj/coqc/v8.18.0 protected
- Tags 20
- comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1 protected
- comoproj-v2.7.0 protected
- comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1 protected
- comoproj-v2.6.2 protected
- comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1 protected
- comoproj-v2.3.1-coqc-8.16.1-ocaml-4.13.1 protected
- comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1 protected
- comoproj-v2.6.1 protected
- comoproj-v2.6.0 protected
- comoproj-v2.5.0 protected
- comoproj-v2.4.1 protected
- comoproj-v2.4.0 protected
- readmo-v1.0.0
- comoproj-v2.3.1-coqc-v8.16.1 protected
- comoproj-v2.3.1-coqc-v8.18.0 protected
- comoproj-v2.3.1 protected
- comoproj-v2.3.0 protected
- comoproj-v2.2.0 protected
- comoproj-v2.1.0-coqc-v8.18.0 protected
- comoproj-v2.1.0 protected
Compare
-
-
- Open in your IDE
- Download source code
Max Ole Elliger
authored
More use of generated makefile See merge request oc59yqul/template_coq!4
3a57bd79
History
| Name | Last commit | Last update |
|---|---|---|
| src | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| LICENSE | ||
| Makefile |