Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits:
-
dca29b0c
by Julien Puydt at 2022-03-30T08:46:26+02:00
30 changed files:
- .github/workflows/ci.yml → .github/workflows/ci-macos.yml
- + .github/workflows/ci-windows.yml.disabled
- config/dune
- + dev/ci/user-overlays/15721-fajb-micromega-interval-analysis.sh
- dev/doc/archive/Translator.tex
- dev/doc/critical-bugs
- dev/doc/universes.md
- doc/sphinx/changes.rst
- doc/sphinx/language/coq-library.rst
- doc/sphinx/language/extensions/arguments-command.rst
- doc/sphinx/practical-tools/coq-commands.rst
- doc/sphinx/using/tools/coqdoc.rst
- ide/coqide/coqOps.ml
- ide/coqide/coqide.ml
- ide/coqide/ideutils.ml
- ide/coqide/ideutils.mli
- ide/coqide/session.ml
- ide/coqide/tags.ml
- ide/coqide/wg_Debugger.ml
- ide/coqide/wg_Find.ml
- ide/coqide/wg_Find.mli
- ide/coqide/wg_ScriptView.ml
- ide/coqide/wg_ScriptView.mli
- interp/constrextern.ml
- kernel/inductive.ml
- kernel/subtyping.ml
- lib/coqProject_file.ml
- plugins/ltac/rewrite.ml
- plugins/ltac/tacinterp.ml
- plugins/ltac2/g_ltac2.mlg