coq - The formal proof system

Age	Commit message (Expand)	Author
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
2018-12-19	Put #[universes(template)] in outputs tests	Gaëtan Gilbert
2018-03-08	[compat] Remove "Refolding Reduction" option.	Emilio Jesus Gallego Arias
2017-07-11	Deprecate options that were introduced for compatibility with 8.5.	Théo Zimmermann
2017-05-30	Support for using type information to infer more precise evar sources.	Hugo Herbelin
2016-09-09	no-refold patch	Paul Steckler
2013-03-30	Continuation of r16346 on filtering local definitions. Refined	herbelin
2013-02-25	Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo...	pboutill
2011-12-04	A small test for type inference (used to be a regression at some time).	herbelin