coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	remove in List.v deprecated/unnecessary dependencies: Le, Gt, Minus, Lt, Setoid	Andrej Dudenhefner
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-23	Fixing typos - Part 3	JPR
2018-12-19	Put #[universes(template)] on all auto template spots in stdlib	Gaëtan Gilbert
2018-11-14	Deprecate hint declaration/removal with no specified database	Maxime Dénès
2018-08-18	Merge PR #8272: Fix typo in documentation, heigth --> height.	Théo Zimmermann
2018-08-17	Fix typo in documentation, heigth --> height.	Nick Lewycky
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-08-21	Ensuring all .v files end with a newline to make "sed -i" work better on them.	Hugo Herbelin
2017-06-14	Prelude : no more autoload of plugins extraction and recdef	Pierre Letouzey
2016-04-27	Revert "Temporary hack to compensate missing comma while re-printing tactic"	Hugo Herbelin
2016-04-27	Temporary hack to compensate missing comma while re-printing tactic	Hugo Herbelin
2014-10-01	Simpl less (so that cbn will not simpl too much)	Pierre Boutillier
2014-09-27	Keyed unification option, compiling the whole standard library	Matthieu Sozeau
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2014-06-26	Avoid using a deprecated lemma in the standard library.	Guillaume Melquiond
2014-05-06	- Fix arity handling in retyping (de Bruijn bug!)	Matthieu Sozeau
2014-05-06	Correct rebase on STM code. Thanks to E. Tassi for help on dealing with	Matthieu Sozeau
2013-07-17	"Boolean Equality" and "Case Analysis" are already off by default...	letouzey
2012-10-26	Change Hint Resolve, Immediate to take a global reference as argument	msozeau
2012-10-01	Ltac repeat is in fact already doing progress	letouzey
2012-04-13	MSetRBT : implementation of MSets via Red-Black trees	letouzey