coq - The formal proof system

Age	Commit message (Expand)	Author
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