Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
-
cd219536
by Julien Puydt at 2022-12-09T21:36:11+01:00
-
a52c570e
by Julien Puydt at 2022-12-09T21:36:36+01:00
-
fe3bda78
by Julien Puydt at 2022-12-09T21:55:20+01:00
30 changed files:
- .github/workflows/check-conflicts.yml
- .github/workflows/ci-macos.yml
- .github/workflows/ci-windows.yml
- .gitlab-ci.yml
- coq-doc.opam
- debian/changelog
- + dev/ci/user-overlays/16434-SkySkimmer-assumptions-vos.sh
- dev/doc/critical-bugs
- doc/sphinx/addendum/micromega.rst
- doc/sphinx/changes.rst
- doc/sphinx/language/core/modules.rst
- doc/sphinx/practical-tools/coqide.rst
- doc/sphinx/practical-tools/utilities.rst
- doc/sphinx/proof-engine/tactics.rst
- doc/sphinx/proof-engine/vernacular-commands.rst
- dune-project
- ide/coqide/coq.ml
- ide/coqide/coqide.ml
- ide/coqide/coqide_WIN32.c.in
- ide/coqide/coqide_WIN32.ml.in
- ide/coqide/coqide_main.ml
- ide/coqide/dune
- ide/coqide/idetop.ml
- ide/coqide/preferences.ml
- + ide/coqide/shared.ml
- + ide/coqide/shared.mli
- + ide/coqide/shared_QUARTZ.c.in
- + ide/coqide/shared_QUARTZ.ml.in
- + ide/coqide/shared_WIN32.c.in
- + ide/coqide/shared_WIN32.ml.in