coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-13	Merge PR #13172: Fix #13169: vm_compute has existential crisis.	coqbot-app[bot]
2020-10-13	Merge PR #13099: Locating pattern identifiers (?id) by default at parsing tim...	Pierre-Marie Pédrot
2020-10-12	Merge PR #13185: Add missing ";" in Record grammar	coqbot-app[bot]
2020-10-12	Add missing ";" in record grammar	Jim Fehrle
2020-10-12	Merge PR #13156: Store the resolver of required modules as functor parameters...	coqbot-app[bot]
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
2020-10-12	Merge PR #13163: [printing] make detyping resilient to "let x : _ := t in"	coqbot-app[bot]
2020-10-12	Merge PR #13175: [ci] elpi 1.11.4	coqbot-app[bot]
2020-10-12	Check types when converting irrelevant terms in old unification	Gaëtan Gilbert
2020-10-12	Catch more errors in Unification.abstract_list_all	Gaëtan Gilbert
2020-10-12	Guard unify_leq_delay calls in Typing	Gaëtan Gilbert
2020-10-12	Respect Print Universes when printing primitive arrays	Gaëtan Gilbert
2020-10-12	Merge PR #12449: Minimize Prop <= i to i := Set	coqbot-app[bot]
2020-10-12	Merge PR #12950: Notations: reworking the treatment of only-parsing and only-...	coqbot-app[bot]
2020-10-12	Automatically merge overlays with most recent upstream version	Gaëtan Gilbert
2020-10-12	Lowercase variables in git_download	Gaëtan Gilbert
2020-10-12	elpi 1.11.4	Enrico Tassi
2020-10-11	Modify ZArith/Znumtheory.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zdiv.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zcomplements.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZifyInst.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZifyClasses.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Ztac.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/ZCoeff.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zpow_def.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Wf_Z.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Zabs.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify ZArith/Znat.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/RingMicromega.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Tauto.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/Refl.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/EnvRing.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify NArith/Ndigits.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Strings/String.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Strings/Ascii.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorEq.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorSpec.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/VectorDef.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Vectors/Fin.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify micromega/OrderedRing.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Euclid.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Div2.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify Arith/Even.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify setoid_ring/Ring.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Modify setoid_ring/InitialRing.v to compile with -mangle-names	Jasper Hugunin
2020-10-11	Similarly remove the explicit graph argument in the ~evar conversion API.	Pierre-Marie Pédrot
2020-10-11	Pick the universe graph out of the environment in conversion API.	Pierre-Marie Pédrot
2020-10-11	Remove the compare_graph field from the conversion API.	Pierre-Marie Pédrot
2020-10-11	Fix #13169: vm_compute has existential crisis.	Pierre-Marie Pédrot
2020-10-10	Adding change log for #12950.	Hugo Herbelin