coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	More precise type for universe entries.	Pierre-Marie Pédrot	2017-07-26
* \|	Merge branch 'v8.7'	Maxime Dénès	2017-07-20
\|\ \
* \| \|	Removing the uses of abstraction-breaking code in Obligations.	Pierre-Marie Pédrot	2017-07-13
\| * \|	Deprecate options that were introduced for compatibility with 8.5.	Théo Zimmermann	2017-07-11
* \| \|	Safe API for accessing universe constraints of global references.	Pierre-Marie Pédrot	2017-07-11
\|/ /
\| *	Preparing to hints supporting discharge.	Hugo Herbelin	2017-06-27
\|/
*	[vernac] Remove forward hooks from Obligations.	Emilio Jesus Gallego Arias	2017-06-20
*	Clean up universes of constants and inductives	Amin Timany	2017-06-16
*	[proof] Deprecate redundant wrappers.	Emilio Jesus Gallego Arias	2017-06-11
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Don't double up on periods in anomalies	Jason Gross	2017-06-02
*	Support for using type information to infer more precise evar sources.	Hugo Herbelin	2017-05-30
*	[coqlib] Deprecate redundant Coqlib functions.	Emilio Jesus Gallego Arias	2017-05-27
*	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\
* \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| \| *	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \|/
\| *	Merge PR#627: Obligations shrinking: shrink abstraction too	Maxime Dénès	2017-05-20
\| \|\
\| * \|	Uniformity of style for selecting plural or not; spacing for comma.	Hugo Herbelin	2017-05-13
\| \| *	Obligations shrinking: shrink abstraction too	Matthieu Sozeau	2017-05-11
\| \|/
\| *	More consistent writing of de Bruijn.	Théo Zimmermann	2017-05-01
* \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
*	Make Obligations see fix_exn	Enrico Tassi	2017-02-15
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15