coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Add bmsherman/topology to the ci	Jason Gross	2017-05-01
\| \| \| \| \|	This development of @bmsherman tests universe polymorphism and setoid rewriting in type, and should build with v8.6 and trunk.
*	Add bedrock targets src and facade	Jason Gross	2017-04-20
\|
*	[travis] Backport from trunk: VST	Emilio Jesus Gallego Arias	2017-03-24
\|
*	[travis] [8.6.only] Backport latest changes from trunk.	Emilio Jesus Gallego Arias	2017-03-22
\|
*	[travis] Backport trunk's travis support.	Emilio Jesus Gallego Arias	2017-03-02