coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| * \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] ide_slave doesnt't need to capture stdout	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
* \| \|	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\\| \|
* \| \|	Evar-normalizing functions now act on EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Removing compatibility layers related to printing.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Goal API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|/\| \| \| \|/
\| *	Fix broken .aux machinery.	Guillaume Melquiond	2017-01-13
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Maxime Dénès	2016-09-30
\| \|\
\| \| *	Make error message more helpful.	Théo Zimmermann	2016-09-28
* \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \
* \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	feedback: support multiple feedback listeners	Enrico Tassi	2016-09-05
* \| \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" function	Matej Kosik	2016-08-24
\|/ / /
\| * \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
* \|	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