coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\| * \|	[vernac] Remove `Save thm id.` command.	Emilio Jesus Gallego Arias	2017-05-23
\| \|/
\| *	Fix two new unused opens.	Maxime Dénès	2017-05-02
\| *	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\| \|\
* \| \|	[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
\|/ /
\| *	Fixing #5420 as well as many related bugs due to miscounting let-ins.	Hugo Herbelin	2017-04-09
\| *	Fixing several wrong computations of implicit arguments by position	Hugo Herbelin	2017-04-09
\| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
* \|	Merge branch 'master' into econstr	Pierre-Marie Pédrot	2017-04-07
\|\\|
* \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\| *	Ensuring static invariants about handling of pending evars in Pretyping.	Pierre-Marie Pédrot	2017-03-23
\|/
*	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15