coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	feedback: support multiple feedback listeners	Enrico Tassi	2016-09-05
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	[feedback] Allow messages to carry a location.	Emilio Jesus Gallego Arias	2016-06-25
*	[feedback] Add optional ?loc parameter to loggers.	Emilio Jesus Gallego Arias	2016-06-25
*	ideslave: do not bail out in case of XML error	Enrico Tassi	2016-06-16
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\
\| *	Remove failure on non-.v files (bug #4752).	Guillaume Melquiond	2016-06-09
* \|	Search interface revisions.	Pierre-Marie Pédrot	2016-06-07
\|\ \
\| * \|	Removing the convenience functions from the Search API.	Pierre-Marie Pédrot	2016-06-07
* \| \|	xmlprotocol: Marshal_error carries the reason	Enrico Tassi	2016-06-06
* \| \|	Encapsulate xml serialization in xmlprotocol.mli	Emilio Jesus Gallego Arias	2016-06-02
* \| \|	Move serialization functions out of Stm	Emilio Jesus Gallego Arias	2016-06-02
* \| \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\| * \|	avoid communicating to the serarch interface using raw strings.	Gregory Malecha	2016-04-24
\|/ /
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-18
\|\\|
\| *	CoqIDE is more resilient to initialization errors.	Pierre-Marie Pédrot	2016-03-15
* \|	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	CLEANUP: kernel/context.ml{,i}	Matej Kosik	2016-01-11
* \|	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
\|/
*	Ide: fix bug #4284 for good	Matthieu Sozeau	2015-07-08
*	Bug 4284: Tentative bugfix for detyping exception.	Matthieu Sozeau	2015-07-08
*	Reinstauring backtrace display in CoqIDE.	Pierre-Marie Pédrot	2015-02-11
*	More efficient Richpp.	Pierre-Marie Pédrot	2015-02-06
*	Update headers.	Maxime Dénès	2015-01-12
*	CThread: use a different type for thread friendly in_channels	Enrico Tassi	2014-12-17
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Revert "Fixing bug #3817."	Pierre-Marie Pédrot	2014-12-14
*	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin	2014-12-07
*	Fixing bug #3817.	Pierre-Marie Pédrot	2014-11-24
*	Reworking the -color flag of coqtop.	Pierre-Marie Pédrot	2014-11-15
*	Fixing compilation (name of module Richprinter) I partially feel	Hugo Herbelin	2014-11-06
*	ide/Ide_slave.annotate: Implement annotate.	Regis-Gianas	2014-11-04
*	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
*	Fixing order of hypothesis in goal hypotheses compaction for coqtop.	Hugo Herbelin	2014-10-24
*	Pushing Pierre's factorization of names in goal context printing from	Hugo Herbelin	2014-10-22
*	Factored out IDE goal structure.	Carst Tankink	2014-10-01
*	CoqIDE: new message to print AST	Enrico Tassi	2014-09-29
*	Referring to evars by names. Added a parser for evars (but parsing of	Hugo Herbelin	2014-09-12
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Fixup introduction of coqworkmgr	Pierre Boutillier	2014-09-02
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Coqide prints succesive hyps of the same type on 1 line	Pierre Boutillier	2014-09-01