coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Proofview: tclINDEPENDENTL	Enrico Tassi	2017-02-10
*	Merge remote-tracking branch 'github/pr/350' into trunk	Maxime Dénès	2017-01-09
\|\
* \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\ \
\| \| *	tclDISPATCH: more informative error message	Arnaud Spiwack	2016-11-08
\| \|/ \|/\|
* \|	COMMENT: Proofview.entry	Matej Kosik	2016-10-26
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\ \
\| \| *	Unification constraint handling (#4763, #5149)	Matthieu Sozeau	2016-10-22
\| \|/
\| *	Oops, my bad, didn't expect a merge issue!	Matthieu Sozeau	2016-10-21
\| *	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-10-21
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-23
\|\\|
\| *	Adding variants enter_one and refine_one which assume that exactly one	Hugo Herbelin	2016-09-16
* \|	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
\|/
*	Fixing #4906 (regression in printing an error message).	Hugo Herbelin	2016-07-08
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	Proofview: extensions for backtracking eauto	Matthieu Sozeau	2016-06-16
*	Fix usage of Pervasives in goal selectors.	Cyprien Mangin	2016-06-14
*	Add a comment about the use of a zipper, for clarity.	Cyprien Mangin	2016-06-14
*	Add a [CList.partitioni] function.	Cyprien Mangin	2016-06-14
*	Add goal range selectors.	Cyprien Mangin	2016-06-14
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-20
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Moving Evarutil and Proofview to engine/	Pierre-Marie Pédrot	2016-03-20