coq - The formal proof system

Age	Commit message (Expand)	Author
2019-04-01	Several improvements and fixes of Lia	Frédéric Besson
2018-12-19	Put #[universes(template)] on all auto template spots in stdlib	Gaëtan Gilbert
2018-03-23	Deprecate undocumented "intros until 0" in favor of "intros *".	Hugo Herbelin
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2013-01-18	Unset Asymmetric Patterns	pboutill
2012-08-08	Updating headers.	herbelin
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-18	Reverted 13293 commited mistakenly. Sorry for the noise.	herbelin
2010-07-18	Tentative de suppression de l'import automatique des hints et coercions.	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-20	new csdp cache + improved error message	fbesson
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey