coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-17	[ci/gitlab/cachix] Avoid running in trouble when calling git fetch --unshallow.	Théo Zimmermann
2020-09-17	Merge PR #13007: [build] Don't link `num` anymore in Coq	coqbot-app[bot]
2020-09-17	[configure] Fix version checks for lablgtk and zarith	Emilio Jesus Gallego Arias
2020-09-17	Be more efficient when generating the merge of ltle maps in AcyclicGraph.	Pierre-Marie Pédrot
2020-09-17	Do not allocate intermediate sets in universe refreshing.	Pierre-Marie Pédrot
2020-09-17	[leminv] Use higher-level Declare API.	Emilio Jesus Gallego Arias
2020-09-17	[leminv] Remove unused catch.	Emilio Jesus Gallego Arias
2020-09-17	[install] Rewording of primitive floats.	Emilio Jesus Gallego Arias
2020-09-17	[build] Don't link `num` anymore in Coq	Emilio Jesus Gallego Arias
2020-09-17	Merge PR #13024: [CI] Always upload artifacts	coqbot-app[bot]
2020-09-17	[ci] call dmesg after quick/async jobs to detect OOM	Enrico Tassi
2020-09-17	Formally deprecate the double induction tactic.	Pierre-Marie Pédrot
2020-09-16	Modify setoid_ring/BinList.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Lists/List.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify setoid_ring/Ring_theory.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify NArith/Nnat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify PArith/Pnat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify NArith/BinNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify PArith/BinPos.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Wf_nat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/EqNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Factorial.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Compare_dec.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Peano_dec.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Logic/Eqdep_dec.v to compile with -v	Jasper Hugunin
2020-09-16	Modify Logic/EqdepFacts.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Between.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Mult.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Plus.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/Le.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Arith/PeanoNat.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NBits.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NLcm.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NGcd.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NDiv.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NPow.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NParity.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NMaxMin.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NSub.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NAddOrder.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NOrder.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NAdd.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Modify Numbers/Natural/Abstract/NBase.v to compile with -mangle-names	Jasper Hugunin
2020-09-16	Merge PR #13008: Use fresher names in eqschemes	Hugo Herbelin
2020-09-16	Merge PR #13015: Propagate zarith dependency.	Vincent Laporte
2020-09-16	Merge PR #8743: [micromega] Switch from `Big_int` to ZArith.	BESSON Frederic
2020-09-16	More improvements in locating tactic errors.	Hugo Herbelin
2020-09-15	[vernac] Don't allow attributes on print / check	Emilio Jesus Gallego Arias
2020-09-15	Adding change log for #13026.	Hugo Herbelin
2020-09-15	A temporary fix of #13018 and #12775 for branch 8.2.	Hugo Herbelin