coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adapted to EConstr.	Pierre Courtieu	2017-05-05
*	Adding an even more compact mode for goal display.	Pierre Courtieu	2017-05-03
*	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\|\
* \	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\ \
* \| \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| * \|	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\|/ /
* \|	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
* \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \
\| * \|	[flags] Documentation and a minor tweak.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[vernac] vernacentries.mli cleanup	Emilio Jesus Gallego Arias	2017-04-12
\| \| *	Removing internal support for accepting "{struct x}" and co in "Theorem with".	Hugo Herbelin	2017-04-09
\| \|/
* \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\\|
\| *	Merge PR#511: [stm] Remove some obsolete vernacs/classification.	Maxime Dénès	2017-03-30
\| \|\
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\| \| *	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| \|/ \|/\|
\| *	[nit] Fix a couple incorrect uses of msg_error.	Emilio Jesus Gallego Arias	2017-03-24
\|/
*	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Merge PR#412: Remove outdated comment from 2002.	Maxime Dénès	2017-03-14
*	Merge PR#189: Remove tabulation support from pretty-printing.	Maxime Dénès	2017-02-20
*	[stm] Reenable Show Script command.	Emilio Jesus Gallego Arias	2017-02-15
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15