coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add XML protocol support for Wait.	Maxime Dénès	2017-09-19
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
*	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
*	[ide protocol] Add comment about leftover parameter.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Fix documentation typos.	Guillaume Melquiond	2017-01-27
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Goptions: new value type: optional string	Enrico Tassi	2015-10-08
* \|	Rich printing of CoqIDE protocol failure.	Pierre-Marie Pédrot	2015-09-20
* \|	Rich printing of goals.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...	Regis-Gianas	2014-11-04
*	ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".	Regis-Gianas	2014-11-04
*	Factored out IDE goal structure.	Carst Tankink	2014-10-01
*	CoqIDE: new message to print AST	Enrico Tassi	2014-09-29
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25