Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits:
-
1edc2d94
by Julien Puydt at 2022-09-11T14:07:30+02:00
30 changed files:
- .github/CODEOWNERS
- .github/PULL_REQUEST_TEMPLATE.md
- .github/workflows/ci-macos.yml
- .github/workflows/ci-windows.yml.disabled → .github/workflows/ci-windows.yml
- .github/workflows/stale.yml
- .gitlab-ci.yml
- − .ocamlformat
- + .ocp-indent
- CONTRIBUTING.md
- INSTALL.md
- Makefile.build
- Makefile.ci
- Makefile.common
- Makefile.doc
- + Makefile.docgram
- Makefile.dune
- Makefile.ide
- Makefile.install
- Makefile.make
- README.md
- sysinit/usage.ml → boot/usage.ml
- sysinit/usage.mli → boot/usage.mli
- checker/check.ml
- checker/checkFlags.ml
- checker/checkFlags.mli
- checker/checkInductive.ml
- checker/checker.ml
- checker/mod_checking.ml
- checker/mod_checking.mli
- checker/values.ml