coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \|	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