coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-15	Modify setoid_ring/Field_theory.v to compile with -mangle-names	Jasper Hugunin
2020-11-16	Improve some error messages.	Vincent Semeria
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-08	Modify setoid_ring/Ring_polynom.v to compile with -mangle-names	Jasper Hugunin
2020-10-02	{new,setoid_}ring -> ring	Maxime Dénès
2020-09-16	Modify setoid_ring/BinList.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-04-17	Deprecate “omega”	Vincent Laporte
2020-04-03	Avoiding using a fixed introduction name in Ltac code of stdlib.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias