Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
f8715fec
by Julien Puydt at 2022-03-22T17:37:51+01: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
- 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
- plugins/ltac2/tac2core.ml
- plugins/micromega/certificate.ml
- plugins/micromega/zify.ml
- pretyping/glob_ops.ml
- pretyping/indrec.ml