coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	[xmlproto] Remove duplicated deserialization.	Emilio Jesus Gallego Arias	2016-06-25
*	[feedback] Remove `ErrorMsg` in favor of `Message Error`.	Emilio Jesus Gallego Arias	2016-06-25
*	[feedback] Allow messages to carry a location.	Emilio Jesus Gallego Arias	2016-06-25
*	[feedback] Remove unused tag on `Debug` level.	Emilio Jesus Gallego Arias	2016-06-25
*	xmlprotocol: fix unmarshaling of Feedback.Message	Enrico Tassi	2016-06-06
*	xmlprotocol: uncomment marshalling code for custom message	Enrico Tassi	2016-06-06
*	xmlprotocol: Marshal_error carries the reason	Enrico Tassi	2016-06-06
*	Encapsulate xml serialization in xmlprotocol.mli	Emilio Jesus Gallego Arias	2016-06-02
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Using GADTs in Xmlprotocol.	Pierre-Marie Pédrot	2015-10-22
* \|	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 messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Rich printing of goals.	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/Xmlprotocol: Cosmetics.	Yann Régis-Gianas	2014-11-04
*	ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".	Regis-Gianas	2014-11-04
*	STM: report the (structured) goals as XML	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